Pintos, a simple operating system framework for the 80x86 architecture created at Stanford University
$ 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
$ 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 the Pintos source code from here.
$ cd ~
$ git clone git://pintos-os.org/pintos-anon pintos
Refer to here.
thanks to imnotkind >_< SSH{Host is used as an ALIAS of HostName}