One-Pagers‎ > ‎

OP2: Building hardware that exposes an exokernel interface

Would it make sense to build hardware that exposes an exokernel interface? Said differently, how about implementing the exokernel in the BIOS? Would it be a good abstraction/interface? You may motivate the use of additional hardware capabilities not assumed in the original Exokernel paper.
 
Favorites: