From 3b3714487997934aeafda3af5e4661b6742c40a9 Mon Sep 17 00:00:00 2001 From: Hang Park Date: Fri, 14 Apr 2017 04:26:27 +0900 Subject: [PATCH] [#81] Update README --- README.md | 22 +++++++++++++++++++--- 1 file changed, 19 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 44ce32e..d790f2e 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,23 @@ Repository for PintOS implementation project of CS330 in KAIST. To contribute, read [CONTRIBUTING.md](CONTRIBUTING.md). -## Contributors +## Requirements -- Hang Park -- Lament +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 for emulate PintOS. + +## Build + +Docker image for an environment satisfies above requirements is provided at [hangpark/pintos-dev-env-kaist](https://hub.docker.com/r/hangpark/pintos-dev-env-kaist/). Use below commands to build (or check, grade) the PintOS. +```bash +$ git clone https://github.com/hangpark/pintos.git +$ sudo docker pull hangpark/pintos-dev-env-kaist +$ sudo docker run -t -d --name pintos -v pintos:/pintos hangpark/pintos-dev-env-kaist +$ sudo docker exec -it pintos bash -c "cd src/ && make [check|grade]" +```