Hi,
On 25/09/2019 19:49, Stefano Stabellini wrote:
> +- nr_spis
> +
> +Optional. A 32-bit integer specifying the number of SPIs (Shared
> +Peripheral Interrupts) to allocate for the domain. If nr_spis is
> +missing, the max number of SPIs supported by the physical GIC is
> +used.
Add info about the SPI used for the virtual pl011.
Signed-off-by: Stefano Stabellini
---
Changes in v5:
- improve wording
Changes in v4:
- fix spelling
- add "multiboot,module"
- improve commit message
- improve doc
- expand the nr_spis and vpl011 sections and include information about
the vp
