Skip to content

Pinned Loading

  1. manifest Public

    The main L4Re manifest to checkout the L4Re operating system.

    20 6

  2. fiasco Public

    The development version of the L4Re Microkernel

    C++ 119 25

  3. uvmm Public

    Virtual machine monitor for L4Re

    C++ 30 6

Repositories

Showing 10 of 30 repositories
  • ham Public
    Perl 7 5 0 0 Updated Apr 14, 2025
  • uvmm Public

    Virtual machine monitor for L4Re

    C++ 30 6 1 0 Updated Apr 4, 2025
  • mk Public

    The build system for the L4Re operating system.

    C 7 6 0 1 Updated Apr 4, 2025
  • l4re-core Public

    The core components of the L4Re operating system.

    C++ 85 GPL-2.0 18 3 0 Updated Apr 4, 2025
  • l4_virtio-net-switch Public

    Virtual network switch for multiple VIRTIO network devices.

    C++ 1 1 0 0 Updated Apr 4, 2025
  • io Public

    IO handles access to platform devices and resources

    C++ 4 2 0 0 Updated Apr 4, 2025
  • fiasco Public

    The development version of the L4Re Microkernel

    C++ 119 25 0 0 Updated Apr 4, 2025
  • emmc-driver Public

    L4Re eMMC server

    C++ 0 0 0 0 Updated Apr 4, 2025
  • bootstrap Public

    The bootloader of the L4Re operating system.

    C++ 9 4 0 0 Updated Apr 4, 2025
  • atkins Public

    Tools for testing L4 applications.

    C++ 0 0 1 0 Updated Apr 4, 2025

People

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