Microkernel related stuffs. Mostly L4

§ General

• Wikipedia::L4 microkernel family

§ Resource from TUD

• Lecture microkernel-based operating systems and MOS lab
• Lecture microkernel construction

§ microkernels

• Genode’s introduction
• L4RE Documentations - kernkonzept

§ Paper Reading

Recommended by TUD MOS

• Per Brinch Hansen: The nucleus of a multiprogramming system
• Galen C. Hunt and James R. Larus: Singularity: Rethinking the Software Stack
• Bryan Ford et al.: Microkernels Meet Recursive Virtual Machines
• Donald E. Porter et al.: Rethinking the Library OS from the Top Down