Loading...
Searching...
No Matches
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