# HG changeset patch
# User tobaru
# Date 1501847886 -32400
# Node ID e4f49859477e9014b8fb9e6b616b2b908db00e80
# Parent  0bbeb1a284e21885159e6ff1aec913c55f8a8f9d# Parent  11870733f490159035d99b7031f0d830f1f214a7
merge

diff -r 0bbeb1a284e2 -r e4f49859477e docker-setup.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docker-setup.md	Fri Aug 04 20:58:06 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``