I was lucky enough to take 6.828 a few years ago, it was quite a bit of fun! Oddly, we tended to use xv6 just as a reference rather than anything else, as we b

I was lucky enough to take 6.828 a few years ago, it was quite a bit of fun! Oddly, we tended to use xv6 just as a reference rather than anything else, as we built a custom version of JoS[1], which turned out to actually be an exokernel[2]. [1]http://pdos.csail.mit.edu/6.828/2011/overview.html http://pdos.csail.mit.edu/6.828/2011/overview.html [2]http://en.wikipedia.org/wiki/Exokernel http://en.wikipedia.org/wiki/Exokernel