Pintos: Threads Project Vijay Kumar CS 3204 TA. Introduction to Pintos Simple OS for the 80x86 architecture Capable of running on real hardware We use.