The pintos operating system. This is a course project in ShanghaiTech CS130. Pintos is a great project to learn how operating systems are built and how they work. There are four projects, including thread scheduling, user program loading and system calls, virtual memory system, file system. It passed all the unit tests.