Hi Brad > On 13 Jul 2022, at 14:32, Brad Churchwell <[email protected]> wrote: > > Hi Bertrand, > > I did this yesterday and it does indeed silence the warnings saying to > disable those cores, however the IRQ errors still remain.
Can you check to which domain it belongs ? If it belongs to the domain with little cores this might explain it. > > I think I made some progress by changing "interrupts = <GIC_PPI 9 > IRQ_TYPE_LEVEL_HIGH 0>;" to "interrupts = <GIC_SPI 9 IRQ_TYPE_LEVEL_HIGH > 0>;". I noticed when trying to use XEN-4.10 that it said "IRQ only through > SPI" and failed to boot XEN where 4.17 unstable boots without this error. Now > that I changed GIC_PPI to GIC_SPI, I get the following output: You cannot change a Per Processor Interrupt into an SPI those are different kind of interrupts (please check the GIC reference manual for more explanations on those principles). You have a board specific PCI controller and it could be that the ITS/MSI implementation has some specific parts which are not supported by Xen. It will be hard for me to provide more support here and I would suggest to try to explain your problem in Xen-user mailing list instead of xen-devel, maybe someone did try xen on this board. Cheers Bertrand IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
