On 13/01/15 15:58, Ian Campbell wrote: > They don't actually have to be, but exposing vgic_allocate_virq to the > tools would be overkill, so hardcoding is the pragmatic choice. > > We could e.g. randomise the PPI in the tools, to stop people making > assumptions. (If we were feeling mean of course...)
It would be nice to have a such think. If not randomize at each boot, maybe per Xen version. Though it would break mini-os on ARM as the IRQ is hardcoded in the OS. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel