Skip to content
@kernkonzept

Kernkonzept

Pinned Loading

  1. manifest manifest Public

    The main L4Re manifest to checkout the L4Re operating system.

    21 8

  2. fiasco fiasco Public

    The development version of the L4Re Microkernel

    C++ 140 30

  3. uvmm uvmm Public

    Virtual machine monitor for L4Re

    C++ 31 6

Repositories

Showing 10 of 32 repositories
  • zlib Public

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

    kernkonzept/zlib’s past year of commit activity
    C 0 0 0 0 Updated Aug 14, 2025
  • virtio-net Public

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

    kernkonzept/virtio-net’s past year of commit activity
    C++ 6 3 0 0 Updated Aug 14, 2025
  • tvmm Public

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

    kernkonzept/tvmm’s past year of commit activity
    C++ 2 1 0 0 Updated Aug 14, 2025
  • tinit Public

    L4Re component that brings up the system on resource constrained platforms

    kernkonzept/tinit’s past year of commit activity
    C++ 2 0 0 0 Updated Aug 14, 2025
  • readline Public

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

    kernkonzept/readline’s past year of commit activity
    C 0 0 0 0 Updated Aug 14, 2025
  • nvme-driver Public

    L4Re NVMe server

    kernkonzept/nvme-driver’s past year of commit activity
    C++ 2 0 1 0 Updated Aug 14, 2025
  • manifest Public

    The main L4Re manifest to checkout the L4Re operating system.

    kernkonzept/manifest’s past year of commit activity
    21 GPL-2.0 8 12 0 Updated Aug 14, 2025
  • libvcpu Public

    Library with convenience function to work with vCPUs on L4Re

    kernkonzept/libvcpu’s past year of commit activity
    C++ 4 1 0 0 Updated Aug 14, 2025
  • libfdt Public

    The device tree library

    kernkonzept/libfdt’s past year of commit activity
    C 18 4 0 0 Updated Aug 14, 2025
  • libblock-device Public

    L4Re block device library

    kernkonzept/libblock-device’s past year of commit activity
    C++ 1 0 0 0 Updated Aug 14, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.