kernkonzept Goto Github PK

acpica

The ACPICA library with some adaptions for L4Re

ahci-driver

L4Re AHCI server

atkins

Tools for testing L4 applications.

bootstrap

The bootloader of the L4Re operating system.

cons

Console multiplexer for the L4Re operating system

demo-l4re-micro-hypervisor

L4Re Micro Hypervisor demo for Cortex-R52 and Cortex-R82

drivers-frst

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

fiasco

The development version of the L4Re Microkernel

gnu-efi

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

ham

hello

A simple Hello World application for the L4Re operating system.

io

IO handles access to platform devices and resources

l4_virtio-net-switch

Virtual network switch for multiple VIRTIO network devices.

l4re-core

The core components of the L4Re operating system.

l4virtio

Implementation of the virtio protocol for L4Re

libblock-device

L4Re block device library

libfdt

The device tree library

libvcpu

Library with convenience function to work with vCPUs on L4Re

manifest

The main L4Re manifest to checkout the L4Re operating system.

mk

The build system for the L4Re operating system.

nvme-driver

L4Re NVMe server

readline

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

rtc

L4Re RTC server

tinit

L4Re component that brings up the system on resource constrained platforms

tvmm

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

uvmm

Virtual machine monitor for L4Re

virtio-net

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

zlib

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