changeset 4:e4f49859477e

merge
author tobaru
date Fri, 04 Aug 2017 20:58:06 +0900
parents 0bbeb1a284e2 (current diff) 11870733f490 (diff)
children f8ce1013b84d
files
diffstat 1 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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``