Brand new pintos for Operating Systems and Lab (CS330), KAIST, by Youngjin Kwon.
The manual is available at https://casys-kaist.github.io/pintos-kaist/.
As of 2023-10-24: This current version on Github is a result of Projects 1~2. Each of the three branches are works of three individuals that, based on the master branch, completed Project 3. The results are not merged into the master for easier reference.