Public | Automated Build

Last pushed: 2 years ago
Short Description
Dockerfile for setting up Pintos environment for CS330 KAIST
Full Description


Pintos dockerfile for CS330 at KAIST

How to use

Attach volume /pintos with your pintos directory, and run commands.

ex) docker run -i -t -v (your pintos dir path):/pintos bash

Important note

  • This is only targeted for the specific version of Pintos used in class CS330 at KAIST.
Docker Pull Command
Source Repository