Pintos is a simple operating system framework for the 80x86 architecture. It supports kernel threads, loading and running user programs, and a file system, but it implements all of these in a very simple way. Pintos includes four educational projects to strengthen its support in all three of these areas and to add a virtual memory implementation.