Pintos is a teaching operating system for x86, challenging but not overwhelming, small but realistic enough to understand OS in depth (it can run x86 machine and simulators including QEMU and Bochs). This is a course work of Operating System(2) 2019(MS110), ACM Class 2017, SJTU. Written with Weizhe Chen, Junqi Liu and Siyu Sun in 2019.