Tweaked version of the 80x86 pintos operating system
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Tweaked version of the x86 pintos operating system
License:Other