[COMP9242] wk01 - Advanced Operating Systems

Monolithic and Microkernel

一、微内核的特点

Idea of microkernel:
• Flexible, minimal platform
• Mechanisms, not policies
• OS functionality provided by usermode servers
• Servers invoked by kernel-provided messagepassing mechanism (IPC)
• Goes back to Nucleus [Brinch Hansen’70]

 

二、seL4 FAQ

/* implement */