Tutorials
*********

.. topic:: :doc:`compiling`

   Learn how to build your applications in a way that you can run them on L4Re.

.. topic:: :doc:`ipc-service`

   Write a little native L4Re application from scratch: A calculator server,
   that you can send tasks via IPC.

.. topic:: :doc:`device-driver`

   Implement a more complex L4Re service that works as a device driver.

.. topic:: :doc:`linuxvm`

   How to start a single Linux VM.

.. topic:: :doc:`multiplevms`

   How to run multiple VMs.

.. topic:: :doc:`hwpassthrough`

   How to pass through a hardware device to a VM.

.. topic:: :doc:`staticpart`

   How to statically partition CPU cores, memory and devices among
   multiple VMs.

.. topic:: :doc:`nvmewithlinux`

   How to use L4Re's NVMe driver to make a disk available to a VM via
   Virtio.

.. topic:: :doc:`runimages`

   How to run the pre-built images from l4re.org.

.. topic:: :doc:`modifyimages`

   How to modify an existing image.

   Update the Linux kernel in the image.

.. toctree::
   :hidden:

   compiling
   ipc-service
   device-driver
   linuxvm
   multiplevms
   hwpassthrough
   staticpart
   nvmewithlinux
   runimages
   modifyimages