L4Re – L4 Runtime Environment
Namespace List
Here is a list of all documented namespaces with brief descriptions:
[detail level 12345]
 NcxxOur C++ library
 NL4L4 low-level kernel interface
 NL4ReL4Re C++ Interfaces
 NL4vbusC++ interface of the Vbus API.
 NL4vcpu
 NL4virtioL4-VIRTIO Transport C++ API