kernkonzept/l4re-core kernkonzept/l4re-core

  • Stars
    star
    71
  • Rank 443,012 (Top 9 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kernkonzept/l4re-core
github

kernkonzept

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The core components of the L4Re operating system.

More Repositories

1

fiasco

The development version of the L4Re Microkernel
C++
98
star
2

uvmm

Virtual machine monitor for L4Re
C++
27
star
3

manifest

The main L4Re manifest to checkout the L4Re operating system.
19
star
4

libfdt

The device tree library
C
15
star
5

bootstrap

The bootloader of the L4Re operating system.
C++
8
star
6

ham

Perl
7
star
7

mk

The build system for the L4Re operating system.
C
6
star
8

demo-l4re-micro-hypervisor

L4Re Micro Hypervisor demo for Cortex-R52 and Cortex-R82
C
5
star
9

virtio-net

A virtual peer-to-peer link between two Virtio network devices
C++
5
star
10

drivers-frst

Low level drivers for initial booting of the L4Re operating system.
C++
4
star
11

libvcpu

Library with convenience function to work with vCPUs on L4Re
C++
4
star
12

io

IO handles access to platform devices and resources
C++
4
star
13

cons

Console multiplexer for the L4Re operating system
C++
3
star
14

hello

A simple Hello World application for the L4Re operating system.
C
3
star
15

acpica

The ACPICA library with some adaptions for L4Re
C
2
star
16

l4virtio

Implementation of the virtio protocol for L4Re
C++
2
star
17

libblock-device

L4Re block device library
C++
1
star