.. TREXOR documentation master file, created by
   sphinx-quickstart on Mon May 17 08:13:11 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Trusted Execution Environments for RISC Architectures
=====================================================

*TODO: Description of the project*

.. toctree::
   :numbered:
   :maxdepth: 1
   :caption: Getting Started
   :titlesonly:

   getting_started
   ocaml_primer
   codex_assumptions
   binary_code_analysis


Indices and tables
==================

* :ref:`search`