8000 Kernkonzept · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pinned Loading

  1. manifest manifest Public

    The main L4Re manifest to checkout the L4Re operating system.

    20 7

  2. fiasco fiasco Public

    The development version of the L4Re Microkernel

    C++ 124 25

  3. uvmm uvmm Public

    Virtual machine monitor for L4Re

    C++ 31 6

Repositories

Showing 10 of 30 repositories
  • uvmm Public

    Virtual machine monitor for L4Re

    kernkonzept/uvmm’s past year of commit activity
    C++ 31 6 1 0 Updated May 15, 2025
  • tinit Public

    L4Re component that brings up the system on resource constrained platforms

    kernkonzept/tinit’s past year of commit activity
    C++ 0 0 0 0 Updated May 15, 2025
  • rtc Public

    L4Re RTC server

    kernkonzept/rtc’s past year of commit activity
    C++ 0 0 0 0 Updated May 15, 2025
  • mk Public

    The build system for the L4Re operating system.

    kernkonzept/mk’s past year of commit activity
    C 7 6 0 1 Updated May 15, 2025
  • libblock-device Public

    L4Re block device library

    kernkonzept/libblock-device’s past year of commit activity
    C++ 1 0 0 0 Updated May 15, 2025
  • l4virtio Public

    Implementation of the virtio protocol for L4Re

    kernkonzept/l4virtio’s past year of commit activity
    C++ 3 3 0 0 Updated May 15, 2025
  • l4re-core Public

    The core components of the L4Re operating system.

    kernkonzept/l4re-core’s past year of commit activity
    C++ 87 GPL-2.0 18 3 0 Updated May 15, 2025
  • io Public

    IO handles access to platform devices and resources

    kernkonzept/io’s past year of commit activity
    C++ 4 2 0 0 Updated May 15, 2025
  • fiasco Public

    The development version of the L4Re Microkernel

    kernkonzept/fiasco’s past year of commit activity
    C++ 124 25 0 0 Updated May 15, 2025
  • bootstrap Public

    The bootloader of the L4Re operating system.

    kernkonzept/bootstrap’s past year of commit activity
    C++ 9 4 0 0 Updated May 15, 2025

People

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

Top languages

Loading…

Most used topics

Loading…

0