Skip to content

@kernkonzept Kernkonzept

Change the repository type filter

All

    Repositories list

    32 repositories

    • mk

      Public
      The build system for the L4Re operating system.
      C
      •8•7•0•0•Updated Sep 16, 2025Sep 16, 2025

    • fiasco

      Public
      The development version of the L4Re Microkernel
      armmipsrealtimevirtualizationhypervisoroperating-systemx86microkernell4
      C++
      •32•141•1•1•Updated Sep 16, 2025Sep 16, 2025

    • tvmm

      Public
      Virtual machine monitor for the L4Re operating system when running on MPU based systems
      C++
      •1•2•0•0•Updated Sep 15, 2025Sep 15, 2025

    • tinit

      Public
      L4Re component that brings up the system on resource constrained platforms
      C++
      •0•2•0•0•Updated Sep 15, 2025Sep 15, 2025

    • 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 Sep 15, 2025Sep 15, 2025

    • i2c-driver

      Public
      I2C controller driver
      C++
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • emmc-driver

      Public
      L4Re eMMC server
      C++
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • bcm2835-mbox-driver

      Public
      Driver for the bcm2835 mailbox which can be found on Raspberry Pi 4.
      C++
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • ada

      Public
      L4Re port of the Ada runtime library from GCC and examples
      Ada
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • acpica

      Public
      The ACPICA library with some adaptions for L4Re
      C
      •0•2•0•0•Updated Sep 15, 2025Sep 15, 2025

    • 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 Sep 15, 2025Sep 15, 2025

    • virtio-net

      Public
      A virtual peer-to-peer link between two Virtio network devices
      C++
      •3•5•0•0•Updated Sep 15, 2025Sep 15, 2025

    • uvmm

      Public
      Virtual machine monitor for L4Re
      linuxarmmipsvirtual-machinex86-64virtualizationhypervisorvirtiol4
      C++
      •6•32•1•0•Updated Sep 15, 2025Sep 15, 2025

    • rtc

      Public
      L4Re RTC server
      C++
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • nvme-driver

      Public
      L4Re NVMe server
      C++
      •0•2•1•0•Updated Sep 15, 2025Sep 15, 2025

    • manifest

      Public
      The main L4Re manifest to checkout the L4Re operating system.
      MIT License
      •8•22•12•0•Updated Sep 15, 2025Sep 15, 2025

    • libvcpu

      Public
      Library with convenience function to work with vCPUs on L4Re
      C++
      •1•4•0•0•Updated Sep 15, 2025Sep 15, 2025

    • libfdt

      Public
      The device tree library
      C
      •4•19•0•0•Updated Sep 15, 2025Sep 15, 2025

    • libblock-device

      Public
      L4Re block device library
      C++
      •0•1•0•0•Updated Sep 15, 2025Sep 15, 2025

    • l4virtio

      Public
      Implementation of the virtio protocol for L4Re
      armmipsx86l4virtio-protocol
      C++
      •3•3•0•0•Updated Sep 15, 2025Sep 15, 2025

    • l4re-core

      Public
      The core components of the L4Re operating system.
      armmipsmultiserveroperating-systemx86microkernell4
      C++
      •
      GNU General Public License v2.0
      •19•92•3•0•Updated Sep 15, 2025Sep 15, 2025

    • l4_virtio-net-switch

      Public
      Virtual network switch for multiple VIRTIO network devices.
      C++
      •1•1•0•0•Updated Sep 15, 2025Sep 15, 2025

    • io

      Public
      IO handles access to platform devices and resources
      armmipsvirtualizationmultiserverx86device-driverl4iommu
      C++
      •2•4•0•0•Updated Sep 15, 2025Sep 15, 2025

    • hello

      Public
      A simple Hello World application for the L4Re operating system.
      C
      •1•3•0•0•Updated Sep 15, 2025Sep 15, 2025

    • gnu-efi

      Public
      Port of gnu-efi together with make files for building it inside the L4Re tree.
      C
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • drivers-frst

      Public
      Low level drivers for initial booting of the L4Re operating system.
      C++
      •4•4•0•0•Updated Sep 15, 2025Sep 15, 2025

    • cons

      Public
      Console multiplexer for the L4Re operating system
      C++
      •1•4•0•0•Updated Sep 15, 2025Sep 15, 2025

    • bootstrap

      Public
      The bootloader of the L4Re operating system.
      C++
      •5•9•0•1•Updated Sep 15, 2025Sep 15, 2025

    • atkins

      Public
      Tools for testing L4 applications.
      C++
      •0•0•1•0•Updated Sep 15, 2025Sep 15, 2025

    • ahci-driver

      Public
      L4Re AHCI server
      C++
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025