Pintos

Pintos, a simple operating system framework for the 80x86 architecture created at Stanford University

Prerequisites

$ sudo apt-get update
$ sudo apt-get install binutils pkg-config zlib1g-dev libglib2.0-dev gcc libc6-dev autoconf libtool libsdl1.2-dev g++ libx11-dev libxrandr-dev libxi-dev perl libc6-dbg gdb make git qemu ctags

git clone

$ cd ~/
$ git clone git@github.com:Dong-Hyeon-Yu/CSED312-pintos.git pintos

Enviroment variable

# add the command in .bashrc (or .zshrc)
export PATH=$HOME/pintos/src/utils:$PATH