os_projects directory description Project1 basic shell Project{2..5} PintOS assignments (materials based on CS140) Project6 basic web server with cgi