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/.
Project #1. Threads threads/mlfqs/mlfqs-recent-1
Project #2. Userprog userprog/dup2/dup2-simple userprog/dup2/dup2-complex
Project #3. VM vm/cow/??
Project #4. Filesys
filesys/extended/persistence
filesys/extended/dir-rm-cwd
filesys/extended/symlink
filesys/mount/~
filesys/journaling/~