Pintos

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

This repository contains solution for LAB1(threads), LAB2(userprog) and LAB3(vm) implemented by hardworking students in POSTECH, korea. Refer to each LAB_solution(eg, vm_solution) branch to see the compact solution. You can look at LAB_history(eg, vm_history) branch to see solutions for each lab's subproblems(check the commit message if you are confused about what these codes are meant to be).

GOOD LUCK!

special thanks to my talented teammate KyeongMin Lee

Environment

$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 16.04.6 LTS
Release:	16.04
Codename:	xenial
$ uname -a
Linux ubuntu 4.4.0-142-generic #168-Ubuntu SMP Thu Feb 7 14:06:04 UTC 2019 i686 i686 i686 GNU/Linux

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

Download Pintos

Download the Pintos source code from here.

$ cd ~
$ git clone git://pintos-os.org/pintos-anon pintos

Run Pintos in QEMU

Refer to here.