Repositories list

• zlib

  Public
  A port of the zlib library together with make files for building it inside the L4Re tree.

  C

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• virtio-net

  Public
  A virtual peer-to-peer link between two Virtio network devices

  C++

  •3•5•0•0•Updated Jan 22, 2026Jan 22, 2026

• tinit

  Public
  L4Re component that brings up the system on resource constrained platforms

  C++

  •1•3•0•0•Updated Jan 22, 2026Jan 22, 2026

• rtc

  Public
  L4Re RTC server

  C++

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• readline

  Public
  A port of the readline library together with make files for building it inside the L4Re tree.

  C

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• nvme-driver

  Public
  L4Re NVMe server

  C++

  •0•2•1•0•Updated Jan 22, 2026Jan 22, 2026

• manifest

  Public
  The main L4Re manifest to checkout the L4Re operating system.

  MIT License

  •11•23•7•0•Updated Jan 22, 2026Jan 22, 2026

• libvcpu

  Public
  Library with convenience function to work with vCPUs on L4Re

  C++

  •1•4•0•0•Updated Jan 22, 2026Jan 22, 2026

• libfdt

  Public
  The device tree library

  C

  •4•19•0•0•Updated Jan 22, 2026Jan 22, 2026

• libblock-device

  Public
  L4Re block device library

  C++

  •0•1•0•0•Updated Jan 22, 2026Jan 22, 2026

• l4_virtio-net-switch

  Public
  Virtual network switch for multiple VIRTIO network devices.

  C++

  •1•1•0•0•Updated Jan 22, 2026Jan 22, 2026

• hello

  Public
  A simple Hello World application for the L4Re operating system.

  Makefile

  •1•3•0•0•Updated Jan 22, 2026Jan 22, 2026

• gnu-efi

  Public
  Port of gnu-efi together with make files for building it inside the L4Re tree.

  C

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• ada

  Public
  L4Re port of the Ada runtime library from GCC and examples

  Ada

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• uvmm

  Public
  Virtual machine monitor for L4Re

  linuxarmmips+ 6virtual-machinex86-64virtualizationhypervisorvirtiol4

  C++

  •8•34•1•0•Updated Jan 22, 2026Jan 22, 2026

• tvmm

  Public
  Virtual machine monitor for the L4Re operating system when running on MPU based systems

  C++

  •3•3•0•0•Updated Jan 22, 2026Jan 22, 2026

• mk

  Public
  The build system for the L4Re operating system.

  C

  •9•9•0•0•Updated Jan 22, 2026Jan 22, 2026

• l4virtio

  Public
  Implementation of the virtio protocol for L4Re

  armmipsx86+ 2l4virtio-protocol

  C++

  •3•3•0•0•Updated Jan 22, 2026Jan 22, 2026

• l4re-core

  Public
  The core components of the L4Re operating system.

  armmipsmultiserver+ 4operating-systemx86microkernell4

  C++

  •25•100•0•1•Updated Jan 22, 2026Jan 22, 2026

• io

  Public
  IO handles access to platform devices and resources

  armmipsvirtualization+ 5multiserverx86device-driverl4iommu

  C++

  •4•4•0•1•Updated Jan 22, 2026Jan 22, 2026

• i2c-driver

  Public
  I2C controller driver

  C++

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• fiasco

  Public
  The development version of the L4Re Microkernel

  armmipsrealtime+ 6virtualizationhypervisoroperating-systemx86microkernell4

  C++

  •37•154•2•0•Updated Jan 22, 2026Jan 22, 2026

• emmc-driver

  Public
  L4Re eMMC server

  C++

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• drivers-frst

  Public
  Low level drivers for initial booting of the L4Re operating system.

  C++

  •5•4•0•0•Updated Jan 22, 2026Jan 22, 2026

• cons

  Public
  Console multiplexer for the L4Re operating system

  C++

  •2•4•2•0•Updated Jan 22, 2026Jan 22, 2026

• bootstrap

  Public
  The bootloader of the L4Re operating system.

  C++

  •7•10•0•0•Updated Jan 22, 2026Jan 22, 2026

• bcm2835-mbox-driver

  Public
  Driver for the bcm2835 mailbox which can be found on Raspberry Pi 4.

  C++

  •1•1•0•0•Updated Jan 22, 2026Jan 22, 2026

• atkins

  Public
  Tools for testing L4 applications.

  C++

  •0•0•1•0•Updated Jan 22, 2026Jan 22, 2026

• ahci-driver

  Public
  L4Re AHCI server

  C++

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• acpica

  Public
  The ACPICA library with some adaptions for L4Re

  C

  •0•2•0•0•Updated Jan 22, 2026Jan 22, 2026