Microkernel general resources. Mostly L4

§ General

• Wikipedia::L4 microkernel family

§ Resource from TUD

• Lecture microkernel-based operating systems and MOS lab
• Lecture microkernel construction and recordings/slides

§ 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

§ CODE

• NOVA : https://github.com/udosteinberg/NOVA
• FIASCO : https://github.com/kernkonzept/fiasco
• L4RE : many many pkgs, see manifest