id: 07c79077-d965-4064-95af-35499ada1397 url: http://pdos.csail.mit.edu/exo/ name: "The MIT Exokernel"