We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The main L4Re manifest to checkout the L4Re operating system.
23 10
The development version of the L4Re Microkernel
C++ 146 34
Virtual machine monitor for L4Re
C++ 33 7
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
A port of the readline library together with make files for building it inside the L4Re tree.
L4Re NVMe server
The build system for the L4Re operating system.
Library with convenience function to work with vCPUs on L4Re
This organization has no public members. You must be a member to see who’s a part of this organization.
