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 an 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.

Experience-rich
  The first steps towards L4Re were made 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>`_.

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.

.. toctree::
   :hidden:
   :caption: The Basics

   overview/index
   getting_started/index

.. toctree::
   :hidden:
   :caption: User Guide

   tutorials/index
   detailed_introduction/index
   bsp/index

.. toctree::
   :hidden:
   :caption: Community

   get_in_touch
   contributing/index
   research

.. toctree::
   :hidden:
   :caption: Resources

   download
   demos/index
   screencasts
   performance
   glossary

.. toctree::
   :hidden:
   :caption: Reference

   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>