Series of projects for PintOS Instructional Operating System