There are no reviews yet. Be the first to send feedback to the community and the maintainers!
fiasco
The development version of the L4Re Microkernell4re-core
The core components of the L4Re operating system.uvmm
Virtual machine monitor for L4Remanifest
The main L4Re manifest to checkout the L4Re operating system.libfdt
The device tree librarybootstrap
The bootloader of the L4Re operating system.ham
mk
The build system for the L4Re operating system.demo-l4re-micro-hypervisor
L4Re Micro Hypervisor demo for Cortex-R52 and Cortex-R82virtio-net
A virtual peer-to-peer link between two Virtio network devicesdrivers-frst
Low level drivers for initial booting of the L4Re operating system.libvcpu
Library with convenience function to work with vCPUs on L4Reio
IO handles access to platform devices and resourcescons
Console multiplexer for the L4Re operating systemhello
A simple Hello World application for the L4Re operating system.l4virtio
Implementation of the virtio protocol for L4Relibblock-device
L4Re block device libraryLove Open Source and this site? Check out how you can help us