# HG changeset patch
# User Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
# Date 1495870964 -32400
# Node ID 11870733f490159035d99b7031f0d830f1f214a7
# Parent  cc14476ac479584a66e15f3321b792f7c4701305
Add docker-setup.md

diff -r cc14476ac479 -r 11870733f490 docker-setup.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docker-setup.md	Sat May 27 16:42:44 2017 +0900
@@ -0,0 +1,9 @@
+# xv6-rpi on Docker
+## build
+- ``$ docker build . --tag xv6-rpi``
+
+## run debug mode
+- ``$ docker run --privileged -it --name xv6 xv6-rpi ./run-debug.sh``
+
+## run gdb(up another process)
+- ``$ docker exec -it xv6 ./debug.sh``