/pintos

Primary LanguageHTMLOtherNOASSERTION

Pintos

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

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.