view docker-setup.md @ 127:46d792f92156

impl output option at trans_impl.pl
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 03 Dec 2019 10:45:46 +0900
parents 11870733f490
children
line wrap: on
line source

# 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``