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
      • Console multiplexer - cons
      • Hardware access control
      • Virtio block device drivers
        • AHCI driver
        • EMMC driver
        • NVMe driver
      • Virtual network switch
      • Universal virtual machine monitor
    • Libraries
      • Cross-platform application APIs
      • L4Re application APIs
    • Buildsystem
      • Cross-Compiling
      • Using Clang
      • Updating
      • Troubleshooting
  • BSP and hardware support
    • Raspberry Pi
    • NXP S32G
    • Xilinx / AMD Zynq-MP

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

Reference

  • 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 2024-2025, L4Re project members and individual contributors.