Hi Stefano,
On 29/04/2020 21:16, Stefano Stabellini wrote:
On Thu, 16 Apr 2020, Julien Grall wrote:
Stefano Stabellini (12):
xen: introduce xen_dom_flags
xen/arm: introduce arch_xen_dom_flags and direct_map
xen/arm: introduce 1:1 mapping for domUs
xen: split alloc_heap_pages in two halves for reusability
xen: introduce reserve_heap_pages
xen/arm: reserve 1:1 memory for direct_map domUs
xen/arm: new vgic: rename vgic_cpu/dist_base to c/dbase
xen/arm: if is_domain_direct_mapped use native addresses for GICv2
xen/arm: if is_domain_direct_mapped use native addresses for GICv3
xen/arm: if is_domain_direct_mapped use native UART address for vPL011
The 3 patches above cover addresses but not interrupts. Why?
Hi Julien,
I take that you are referring to GUEST_VPL011_SPI, right?
GUEST_VPL011_SPI is at least one of them. For long term, we may want to
consider PPIs as well (e.g timer).
Cheers,
--
Julien Grall