kernkonzept/fiasco kernkonzept/fiasco

  • Stars
    star
    98
  • Rank 345,882 (Top 7 %)
  • Language
    C++
  • Created almost 7 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kernkonzept/fiasco
github

kernkonzept

Reviews

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

Repository Details

The development version of the L4Re Microkernel

More Repositories

1

l4re-core

The core components of the L4Re operating system.
C++
71
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