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 tutorials available on l4re.org(https://l4re.org/).

• 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