l4re.org/src/getting_started/index.rst at main · L4Re/l4re.org · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
Getting Started
***************

There are a number of avenues available to get started with L4Re.

.. topic:: :doc:`Run pre-built images on Hardware </bsp/index>`

   To get a glimpse of how L4Re looks like, there are a number of pre-built
   images available together with the instructions on how to run them on
   specific hardware.


.. topic:: :doc:`Build L4Re locally with the Bob Build Tool <bob>`

   If you plan on working with L4Re you might want to use the L4Re tutorial
   recipes together with the Bob Build Tool to build various pre-composed
   examples.

.. topic:: :doc:`Build L4Re locally with GNU Make <make>`

   If you plan on working not only with, but on L4Re, you will have to use the
   L4Re Build System that is based on GNU Make. The respective chapters will
   provide you with a detailed step-by-step introduction on how L4Re is
   compiled from scratch.

In case you need help
=====================

In case you have a question or got stuck, the following support options are
available:

* Reach out on the l4-hackers@os.inf.tu-dresden.de `mailing list <https://os.inf.tu-dresden.de/mailman3/postorius/lists/l4-hackers.os.inf.tu-dresden.de/>`_ for help.
* Create an issue on `Github <https://github.com/L4Re>`_ at the affected
  component.
* Contact `Kernkonzept <https://www.kernkonzept.com>`_ for professional support
  and services of the L4Re maintainers.


.. toctree::
   :hidden:

   bob
   make
   multiple_hello
   different_hello