Skip to main content
Ctrl+K
L4Re Operating System Framework documentation - Home

The Basics

  • L4Re Overview
    • Architecture Overview
    • Use Cases
  • Getting Started
    • Building With the Bob Build Tool
    • Building With Gnu Make
    • Modifying the Example Scenario
    • Modifying the Hello Application

User Guide

  • Tutorials
    • Compiling Applications for L4Re
    • Creating an L4Re service
    • Simple device driver
  • Detailed Introduction
    • Architecture Concepts
      • Capabilities, Spaces and Naming
      • L4 Inter-Process Communication (IPC)
      • Thread scheduling
      • Memory Management
      • Initial Environment
    • L4Re services
      • Sigma0
      • Moe
      • Ned
      • Tinit
      • cons - Console multiplexer
      • Hardware access control
      • Virtio block device drivers
        • AHCI driver
        • EMMC driver
        • NVMe driver
      • Virtual network switch
      • uvmm - Virtual Machine Monitor
    • Libraries
      • Cross-platform application APIs
      • L4Re application APIs
    • Buildsystem
      • Cross-Compiling
      • Using Clang
      • Updating
      • Using the Build System
      • Troubleshooting
  • BSP and hardware support
    • BSP Porting Guide
    • Raspberry Pi
    • NXP S32G
    • Xilinx / AMD Zynq-MP
  • Use cases
    • eMMC on NXP S32G
    • RTC - Real-Time Clock
    • Networking with curl
    • L4Re on AWS EC2
    • USB Stack

Community

  • Get In Touch
  • Contributing to L4Re
    • L4Re Coding Style
  • Research

Resources

  • Download
  • Demos and sample applications
    • Armv8-R AArch32 FreeRTOS VMs on tvmm
    • Armv8-R AArch64 mixed criticality system
  • Screencasts
  • Performance Overview
  • Glossary

References

  • Doxygen Documentation
  • L4Re on Github
  • L4Re Mailing List
  • Professional Support

Index

A | C | F | I | O | S | T | V

A

  • ACPI

C

  • Capability

F

  • Factory

I

  • IPC
  • IPC gate
  • IRQ

O

  • Object space

S

  • Scheduler

T

  • Task
  • Thread

V

  • Vcon
  • Virtio
  • VMM

By L4Re project members and individual contributors

© Copyright : This page is licensed under CC-BY-SA 4.0.

Last updated on 2025-05-21.