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?
