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 [2]http://en.wikipedia.org/wiki/Exokernel
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 [2]http://en.wikipedia.org/wiki/Exokernel