Programming for L4Re

This part of the documentation discusses the concept of microkernel-based programming in more detail.

You should already have a basic understanding of the L4Re programming environment from the tutorial.

• L4 Inter-Process Communication (IPC)
• Kernel ABI
• Capabilities and Naming
• Spaces and Mappings
• Initial Environment and Application Bootstrapping
• Memory management - Data Spaces and the Region Map
• Program Input and Output
• Initial Memory Allocator and Factory
• Application and Server Building Blocks
• Pthread Support
• tasks and threads
• communication channels
• server loops
• Interface Definition Language
• hardware access
• L4Re Build System
• Kernel Factory