Hi Penny,
On 27/01/2022 07:49, Penny Zheng wrote:
From: Stefano Stabellini <sstabell...@kernel.org>
We always use a fix address to map the vPL011 to domains. The address
could be a problem for direct-map domains.
So, for domains that are directly mapped, reuse the address of the
physical UART on the platform to avoid potential clashes.
Do the same for the virtual IRQ number: instead of always using
GUEST_VPL011_SPI, try to reuse the physical SPI number if possible.
Signed-off-by: Stefano Stabellini <sstabell...@kernel.org>
Signed-off-by: Penny Zheng <penny.zh...@arm.com>
Tested-by: Stefano Stabellini <sstabell...@kernel.org>
Reviewed-by: Julien Grall <jgr...@amazon.com>
Cheers,
--
Julien Grall
