.. SPDX-License-Identifier: BSD-3-Clause
.. SPDX-FileCopyrightText: Copyright TF-RMM Contributors.

Design
======
.. toctree::
    :maxdepth: 1
    :caption: Contents
    :numbered:

    locking
    memory-management
    file-org-and-config
    fake-host-architecture
    cold-and-warm-boot-design
    el0-app