blob: 6141c98013656f28f0e8fa62a50df0b46d8ea052 [file] [log] [blame]
.. SPDX-License-Identifier: GPL-2.0
TODO: describe reset state for vCPUs. All registers not mentioned here are zeroed.