Pinned repositories

  1. manifest

    The main L4Re manifest to checkout the L4Re operating system.

    5 1

  2. fiasco

    The development version of the Fiasco.OC microkernel

    C++ 12 2

  3. uvmm

    Virtual machine monitor for L4Re

    C++ 1 1

  • Virtual machine monitor for L4Re

    C++ 1 Updated Dec 17, 2018
  • The build system for the L4Re operating system.

    C 3 1 Updated Dec 17, 2018
  • The core components of the L4Re operating system.

    C++ 3 1 GPL-2.0 Updated Dec 17, 2018
  • IO handles access to platform devices and resources

    C++ 1 1 Updated Dec 17, 2018
  • The development version of the Fiasco.OC microkernel

    C++ 12 2 GPL-2.0 Updated Dec 17, 2018
  • Low level drivers for initial booting of the L4Re operating system.

    C++ 3 1 GPL-2.0 Updated Dec 17, 2018
  • The bootloader of the L4Re operating system.

    C++ 3 1 GPL-2.0 Updated Dec 17, 2018
  • Library with convenience function to work with vCPUs on L4Re

    C 1 Updated Dec 13, 2018
  • The device tree library

    C 1 Updated Dec 13, 2018
  • Implementation of the virtio protocol for L4Re

    C++ 1 1 Updated Dec 13, 2018
  • The ACPICA library with some adaptions for L4Re

    C 1 Updated Dec 13, 2018
  • The main L4Re manifest to checkout the L4Re operating system.

    5 1 GPL-2.0 Updated Dec 12, 2018
  • A simple Hello World application for the L4Re operating system.

    C 2 1 GPL-2.0 Updated Jul 3, 2018
  • Perl 4 1 Updated Mar 15, 2018

Top languages

C++ C Perl

Most used topics

Loading…

0

People

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