NachOS was developed at Berkeley and maintained at UW. Both are top-ranked CS programs. Undergraduates are expected to add features to the core OS e.g. virtual memory, not build it from scratch.
https://en.wikipedia.org/wiki/Not_Another_Completely_Heurist...