.. _hld-devicemodel:

Device Model high-level design
##############################


.. toctree::
   :maxdepth: 1

   ACPI virtualization <acpi-virt>