view docker-setup.md @ 2:a930f7f3a74f

Update docker-setup.md
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Sun, 22 Oct 2017 18:33:45 +0900
parents c450faca55f4
children
line wrap: on
line source

# xv6-rpi on Docker
## build
- ``$ docker build . --tag xv6_rpi_port``

## run debug mode
- ``$ docker run --privileged -it --name xv6 xv6_rpi_port ./run-debug.sh``

## run gdb(up another process)
- ``$ docker exec -it xv6 ./debug.sh``