The L4Re Operating System Framework *********************************** L4Re is an open source, micro-kernel based operating system and hypervisor maintained by `Kernkonzept <https://www.kernkonzept.com>`_. .. raw:: html <div class="begin"> <aside class="topic"> <p class="topic-title"> <a href="overview/index.html">New To L4Re</a> </p> If you have not come in contact with L4Re, yet, you can get an overview of it. </aside> <aside class="topic"> <p class="topic-title"> <a href="getting_started/index.html">Getting Started</a> </p> Learn how to build a run L4Re on different platforms. </aside> <aside class="topic"> <p class="topic-title"> <a href="detailed_introduction/index.html">Detailed Introduction</a> </p> Get a more in-depth Introduction into the concepts of L4Re. </aside> </div> About L4Re ========== .. FIXME - just some examples, reuse from https://www.kernkonzept.com/l4re-operating-system-framework/ Designed for safety and security Safety and security are first order design goals of the L4Re operating system framework. Instead of being an afterthought, the whole system is designed around this pillar. From scratch L4Re has been designed and developed from scratch. Open Source The L4Re Operating System Framework is an open source system from the beginning. This is a cornerstone for building secure and sovereign systems, and gives you full control. Framework approach L4Re provides a breadth of components that can be mixed and matched as needed. This approach minimizes the amount of code involved to the required minimum, enabling effective safety and security systems. Hypervisor L4Re features a hypervisor to run virtual machines. Scalability The L4Re system scales from embedded systems up to high performance computing. Real time L4Re features a real-time scheduler and supports running real-time work loads in L4Re applications as well as virtual machines. Professional support The developers and maintainers of L4Re did their first steps towards L4Re more than 25 years ago in 1997 at the TU Dresden. The time has lead to a concentration of experience which by now is bundled at `Kernkonzept <https://www.kernkonzept.com>`_. Kernkonzept provides professional support and consulting for all questions around L4Re. .. toctree:: :hidden: :caption: The Basics overview/index getting_started/index .. toctree:: :hidden: :caption: User Guide tutorials/index detailed_introduction/index bsp/index use-cases/index devel/index .. toctree:: :hidden: :caption: Community get_in_touch contributing/index research .. toctree:: :hidden: :caption: Resources download demos/index screencasts performance glossary .. toctree:: :hidden: :caption: References Doxygen Documentation <https://l4re.org/doc> L4Re on Github <https://github.com/kernkonzept> L4Re Mailing List <https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers> Professional Support <https://www.kernkonzept.com>