Lecture: Dune

administrivia

• milestone 1 this Wednesday
• project meeting this Thursday
• review Exercise: EPT

overview

• Dune: Safe User-level Access to Privileged CPU Features, OSDI 2012
• source code on GitHub
• repurpose hardware virtualization support for OS kernel design
  • examples
    • guest VMs as user processes
    • user-space drivers
    • virtual NICs
    • formal verification
  • pros & cons
    • examples in Dune: sandboxing, garbage collection
    • safety & isolation
    • performance
• see also
  • Hardware and Software Support for Efficient Exception Handling
  • Arrakis and IX
  • Hyperkernel