One of the most famous operating system courses in US.
The OS was developed for students at harward, later adopted by many universities for taching operating systems.
The custom code includes support for syschronization primitives, systems calls and virtual memory management.