Ixl - A Collection of Userspace Network Drivers for L4Re

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

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

Virtual machine monitor for L4Re

Virtual machine monitor for the L4Re operating system with a footprint targeting MCU systems.

L4Re component that brings up the system on resource constrained platforms

L4Re real-time clock server

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

L4Re NVMe storage driver

The main L4Re manifest to checkout the L4Re operating system.

Library with convenience function to work with vCPUs on L4Re

The device tree library

L4Re block device library

Virtual network switch for multiple VIRTIO network devices, with VLAN support.

IO orchestrates access to platform devices and resources

I2C controller driver

A simple Hello World application, also for the L4Re operating system.

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

L4Re eMMC storage driver

Console multiplexer for the L4Re operating system

Driver for the bcm2835 mailbox which can be found on Raspberry Pi's.

Tools for testing L4 applications.

L4Re AHCI storage driver

L4Re port of the Ada runtime library from GCC and examples

The build system for the L4Re operating system.

Implementation of the Virtio protocol for L4Re

The core components of the L4Re operating system.