2021.10.19

Microkernel Design

  • Minimality
  • IPC
    • Synchronous IPC
    • IPC message structure
    • IPC destinations
    • IPC timeouts
    • Communication Control
  • User-level device drivers
  • Resource management
    • Process hierarchy
    • Recursive page mappings
    • Kernel memory
    • (CPU) Time (sharing)
    • Multicore