Kernkonzept

Repositories

• mk

  The build system for the L4Re operating system.
  C 1 5 1 0 Updated Jan 21, 2021

• fiasco

  The development version of the Fiasco.OC microkernel

  arm mips realtime virtualization hypervisor operating-system x86
  C++ GPL-2.0 10 46 1 0 Updated Jan 21, 2021

• l4re-core

  The core components of the L4Re operating system.

  arm mips multiserver operating-system x86 microkernel l4
  C++ GPL-2.0 3 24 0 0 Updated Jan 14, 2021

• bootstrap

  The bootloader of the L4Re operating system.
  C++ GPL-2.0 1 6 0 0 Updated Jan 14, 2021

• uvmm

  Virtual machine monitor for L4Re

  linux arm mips virtual-machine x86-64 virtualization hypervisor
  C++ 4 15 0 0 Updated Dec 10, 2020

• io

  IO handles access to platform devices and resources

  arm mips virtualization multiserver x86 device-driver l4
  C++ 1 3 0 0 Updated Nov 27, 2020

• cons

  Console multiplexer for the L4Re operating system
  C++ 1 3 0 0 Updated Nov 27, 2020

• drivers-frst

  Low level drivers for initial booting of the L4Re operating system.
  C++ GPL-2.0 1 4 0 0 Updated Nov 5, 2020

• ham
  Perl 2 6 0 0 Updated Oct 12, 2020

• libfdt

  The device tree library
  C 1 5 0 0 Updated Sep 4, 2020

• l4virtio

  Implementation of the virtio protocol for L4Re

  arm mips x86 l4 virtio-protocol
  C++ 2 2 0 0 Updated Sep 4, 2020

• virtio-net

  A virtual peer-to-peer link between two Virtio network devices
  C++ 2 3 0 0 Updated Feb 27, 2020

• acpica

  The ACPICA library with some adaptions for L4Re
  C 0 2 0 0 Updated Nov 28, 2019

• manifest

  The main L4Re manifest to checkout the L4Re operating system.
  GPL-2.0 3 14 0 0 Updated Jul 23, 2019

• libvcpu

  Library with convenience function to work with vCPUs on L4Re
  C 0 4 0 0 Updated Feb 1, 2019

• hello

  A simple Hello World application for the L4Re operating system.
  C GPL-2.0 1 3 0 0 Updated Jul 3, 2018