Repository for Pintos implementation project of CS330 in KAIST.

To contribute, read CONTRIBUTING.md.

This OS is run in the specific environment below:

• Ubuntu 8.04 (Hardy Heron)
• GCC 3.4
• Bochs 2.2.6
• QEMU 0.15.0

You can use Bochs or QEMU to emulate Pintos.

Docker image for an environment satisfies above requirements is provided at hangpark/pintos-dev-env-kaist. Use below commands to build (or check, grade) the Pintos.

$ git clone https://github.com/hangpark/pintos.git
$ sudo docker pull hangpark/pintos-dev-env-kaist
$ sudo docker run -t -d --name pintos -v <your-pintos-dir>:/pintos hangpark/pintos-dev-env-kaist
$ sudo docker exec -i -t pintos bash -c "cd src/<dir> && make [check|grade]"

Make sure that <your-pintos-dir> to be an absolute path.