OS161 (an educational Operating system) These are OS161 files with a modified Kernel that has mutex locks and semaphores implemented.