Home
The L4Re Microkernel is a 3rd generation microkernel. It can be used to construct secure, flexible systems. It is suitable for small, embedded applications and also scales well for big and complex systems. It can co-host real-time, time-sharing and virtualization applications.
For more information about the capabilities check out the Features page.
For questions and discussions or to keep up-to-date please subscribe to the L4 hackers mailing list.
We welcome contributions to the microkernel. Please see our contributors guide on how to contribute.
The L4Re Runtime Environment provides a rich environment and the necessary infrastructure to develop applications on top of L4Re.
To use the latest development version of the L4Re Microkernel, you can download the
open source release of L4Re
and replace the included microkernel with this version.
Follow the build instructions and set the
MODULE_SEARCH_PATH to point to the build of the development version of the
microkernel.