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