Uwaterloo also used NACHOS. I thought it was a great course and a way to build the foundations of an OS.

I think explicit memory management was a big part of that course though, creating virtual memory etc.