Skip to content

Pinned Loading

  1. manifest manifest Public

    The main L4Re manifest to checkout the L4Re operating system.

    18 5

  2. fiasco fiasco Public

    The development version of the L4Re Microkernel

    C++ 92 23

  3. uvmm uvmm Public

    Virtual machine monitor for L4Re

    C++ 26 6

Repositories

Showing 10 of 28 repositories
  • virtio-net Public

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

    kernkonzept/virtio-net’s past year of commit activity
    C++ 5 3 0 0 Updated Jul 4, 2024
  • uvmm Public

    Virtual machine monitor for L4Re

    kernkonzept/uvmm’s past year of commit activity
    C++ 26 6 1 0 Updated Jul 4, 2024
  • mk Public

    The build system for the L4Re operating system.

    kernkonzept/mk’s past year of commit activity
    C 6 6 0 1 Updated Jul 4, 2024
  • l4virtio Public

    Implementation of the virtio protocol for L4Re

    kernkonzept/l4virtio’s past year of commit activity
    C++ 2 2 0 0 Updated Jul 4, 2024
  • l4re-core Public

    The core components of the L4Re operating system.

    kernkonzept/l4re-core’s past year of commit activity
    C++ 70 GPL-2.0 17 3 0 Updated Jul 4, 2024
  • l4_virtio-net-switch Public

    Virtual network switch for multiple VIRTIO network devices.

    kernkonzept/l4_virtio-net-switch’s past year of commit activity
    C++ 0 0 0 0 Updated Jul 4, 2024
  • fiasco Public

    The development version of the L4Re Microkernel

    kernkonzept/fiasco’s past year of commit activity
    C++ 92 23 0 0 Updated Jul 4, 2024
  • cons Public

    Console multiplexer for the L4Re operating system

    kernkonzept/cons’s past year of commit activity
    C++ 3 1 0 0 Updated Jul 4, 2024
  • bootstrap Public

    The bootloader of the L4Re operating system.

    kernkonzept/bootstrap’s past year of commit activity
    C++ 8 4 0 0 Updated Jul 4, 2024
  • atkins Public

    Tools for testing L4 applications.

    kernkonzept/atkins’s past year of commit activity
    C++ 0 0 1 0 Updated Jul 4, 2024

People

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

Top languages

Loading…