HELLO WORLD! This is Minho's Pintos with GIT environment. gerrit? DIVIDE!!!!
CSE4070 Operating System :: Pintos Project @ Sogang CS 2012 Fall Semester.