This package contains the build system for the L4Re operating system. It also provides the basic directory infrastructure for L4Re.
This package is part of the L4Re operating system. For documentation and build instructions see the L4Re wiki.
Packages for additional parts of the L4Re operating system are located
in pkg/ and test/. Please refer to the READMEs in each directory for
additional information about each package.
We welcome contributions. Please see our contributors guide on how to contribute.
Detailed licensing and copyright information can be found in the
LICENSE file. Licensing information for packages
in pkg/ and test/ are located in each subdirectory.