3 ms·Pintos is a simple operating system framework for the 80x86 architecture1 points by pyinstallwoes 4y ago