The Story So Far
What is an exokernel?
Key idea: Separate management from protection
Ideal: libOS as powerful as privileged OS
Protecting what we don’t understand:
example: DPF
Safely let applications track what they own:
example: UDFs
Next: but do exokernels matter?
Previous slide
Next slide
Back to first slide
View graphic version