.. SPDX-License-Identifier: CC-BY-4.0

Requirements documentation
==========================

.. toctree::
   :maxdepth: 2

   intro
   market-reqs/reqs
   product-reqs/reqs
   product-reqs/arm64/reqs
   product-reqs/version_hypercall
   product-reqs/hypercall
   design-reqs/arm64/generic-timer
   design-reqs/arm64/sbsa-uart
   design-reqs/arm64/hypercall
   design-reqs/arm64/version_hypercall
   design-reqs/version_hypercall
