Skip to content

hangpark/pintos

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Pintos Project of CS330 in KAIST

Build Status Test Coverage

Repository for Pintos implementation project of CS330 in KAIST.

To contribute, read CONTRIBUTING.md.

Requirements

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.

Build

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.