Sign inSign up

nurseiit/pintos

By nurseiit

ā€¢Updated over 6 years ago

šŸ‘¾ + šŸ‹ = ā¤ļø Dockerized Pintos of CS140 by Stanford.

Image
0

1.1K

nurseiit/pintos repository overview

ā Pintos in Docker

šŸ‘¾ + šŸ‹ = ā¤ļø Dockerized Pintos of CS140 by Stanford.

Docker Cloud Build Status Docker Image Size (tag)

Run and check your pintos code inside a docker container.

ā Pull the image

$ docker pull nurseiit/pintos:latest

ā Run and mount the volume

$ docker run -it --volume $PWD/project1:/pintos nurseiit/pintos:latest

Please note that the directory format is --volume <local dir>:/<mount dir in docker>.

Make sure that the directory you are mounting contains /src as a first child. Otherwise it will conflict with PATH variables.

ā Stopping

$ docker ps -a            # list all processes
$ docker rm 5e22515a0f51  # remove container

ā Gotchas

ā Using qemu simulator

For the qemu simulator to work as intended, one needs to do the following to fix an ACPI bug as described hereā  under "Troubleshooting".

$ sed -i '/serial_flush ();/a outw( 0x604, 0x0 | 0x2000 );' /pintos/src/devices/shutdown.c

ā To Do

  • Use volumes
  • Configure qemu simulator (partially)
  • Make qemu work out of the box

Tag summary

Content type

Image

Digest

Size

310 MB

Last updated

over 6 years ago

docker pull nurseiit/pintos