GitHub repository: yhpark/dockerfile-pintos-kaist
Primary language: Perl
Created: 2015-04-05T12:51:06Z
Description: Dockerfile for setting up Pintos environment