Do students at MIT actually write an OS or do they just do bedtime source code reading?
It looks like MIT does something similar. They study xv6 but have to implement an OS with different specifications. See http://pdos.csail.mit.edu/6.828/2011/overview.html