return to index

motivation of microkernel (vs. monolith)

• isolation of system (kernel) components, reduce complicity, security and resilience
• small TCB
• user-level system components: flexibility and extensibility

§ acronyms and things

• L4RE: L4 Runtime Environment
• UTCB : user-level control block
• recursive address spaces, flexpage