Exokernels in a nutshell
Anyone can manage resources
Exokernel safely exports resources
- Separate protection from management
- Virtual memory, file system, etc. are in application libraries (libOSes)
- Hardware safely shared by different libOS implementations
Ideal: LibOS as powerful as privileged OS