We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
The main L4Re manifest to checkout the L4Re operating system.
21 12
The development version of the L4Re Microkernel
C++ 166 44
Virtual machine monitor for L4Re
C++ 36 8
A port of the zlib library together with make files for building it inside the L4Re tree.
A virtual peer-to-peer link between two Virtio network devices
Virtual machine monitor for the L4Re operating system when running on MPU based systems
L4Re component that brings up the system on resource constrained platforms
Driver for NVIDIA Tegra
SPI controller driver
L4Re RTC server
A port of the readline library together with make files for building it inside the L4Re tree.
Library with convenience function to work with vCPUs on L4Re
Loading…