diff docker-setup.md @ 0:53676d1f5817 default tip

firsh commit
author tobaru
date Sun, 04 Feb 2018 17:54:49 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docker-setup.md	Sun Feb 04 17:54:49 2018 +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``