Repositories list

• uvmm

  Public
  Virtual machine monitor for L4Re

  linuxarmmips+ 6virtual-machinex86-64virtualizationhypervisorvirtiol4

  C++

  •6•28•1•0•Updated Dec 19, 2024Dec 19, 2024

• nvme-driver

  Public
  L4Re NVMe server

  C++

  •0•0•1•0•Updated Dec 19, 2024Dec 19, 2024

• mk

  Public
  The build system for the L4Re operating system.

  C

  •

  Other

  •6•6•0•1•Updated Dec 19, 2024Dec 19, 2024

• manifest

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

  GNU General Public License v2.0

  •6•19•9•0•Updated Dec 19, 2024Dec 19, 2024

• l4re-core

  Public
  The core components of the L4Re operating system.

  armmipsmultiserver+ 4operating-systemx86microkernell4

  C++

  •

  GNU General Public License v2.0

  •18•78•3•0•Updated Dec 19, 2024Dec 19, 2024

• io

  Public
  IO handles access to platform devices and resources

  armmipsvirtualization+ 5multiserverx86device-driverl4iommu

  C++

  •2•4•0•0•Updated Dec 19, 2024Dec 19, 2024

• fiasco

  Public
  The development version of the L4Re Microkernel

  armmipsrealtime+ 6virtualizationhypervisoroperating-systemx86microkernell4

  C++

  •24•111•0•0•Updated Dec 19, 2024Dec 19, 2024

• drivers-frst

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

  C++

  •4•4•0•0•Updated Dec 19, 2024Dec 19, 2024

• bootstrap

  Public
  The bootloader of the L4Re operating system.

  C++

  •4•8•0•0•Updated Dec 19, 2024Dec 19, 2024

• ahci-driver

  Public
  L4Re AHCI server

  C++

  •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

• libfdt

  Public
  The device tree library

  C

  •3•16•0•0•Updated Dec 12, 2024Dec 12, 2024

• libblock-device

  Public
  L4Re block device library

  C++

  •0•1•0•0•Updated Dec 12, 2024Dec 12, 2024

• l4virtio

  Public
  Implementation of the virtio protocol for L4Re

  armmipsx86+ 2l4virtio-protocol

  C++

  •3•3•0•0•Updated Dec 12, 2024Dec 12, 2024

• hello

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

  C

  •1•3•0•0•Updated Dec 12, 2024Dec 12, 2024

• gnu-efi

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

  C

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• emmc-driver

  Public
  L4Re eMMC server

  C++

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• atkins

  Public
  Tools for testing L4 applications.

  C++

  •0•0•1•0•Updated Dec 12, 2024Dec 12, 2024

• tvmm

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

  C++

  •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

• tinit

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

  C++

  •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

• virtio-net

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

  C++

  •3•6•0•0•Updated Nov 21, 2024Nov 21, 2024

• rtc

  Public
  L4Re RTC server

  C++

  •0•0•0•0•Updated Nov 21, 2024Nov 21, 2024

• l4_virtio-net-switch

  Public
  Virtual network switch for multiple VIRTIO network devices.

  C++

  •0•0•0•0•Updated Nov 21, 2024Nov 21, 2024

• acpica

  Public
  The ACPICA library with some adaptions for L4Re

  C

  •0•2•0•0•Updated Sep 6, 2024Sep 6, 2024

• ham

  Public
  Perl

  •5•7•0•0•Updated Sep 4, 2024Sep 4, 2024

• cons

  Public
  Console multiplexer for the L4Re operating system

  C++

  •1•3•0•0•Updated Aug 30, 2024Aug 30, 2024

• 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 Aug 9, 2024Aug 9, 2024

• libvcpu

  Public
  Library with convenience function to work with vCPUs on L4Re

  C++

  •1•4•0•0•Updated Apr 19, 2024Apr 19, 2024

• 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 Mar 14, 2024Mar 14, 2024

• demo-l4re-micro-hypervisor

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

  C

  •3•5•0•0•Updated Apr 5, 2023Apr 5, 2023