Virtualization course project on MIT JOS.