Glossary
========

.. keep this file sorted lexicographically

.. glossary::

   PAL
      Platform Adaption Layer

      .. todo:: Is this really correct?

   SGX
      Software Guard Extensions is a set of instructions on Intel processors.
      See https://en.wikipedia.org/wiki/Software_Guard_Extensions.