Hello Xen users,
I'm working on enabling IOMMU for PC Engines apu2 (GX-412TC). I was able
to clean up patches posted to coreboot long time ago .
Unfortunately from time to time I'm facing hangs during Xen boot:
(XEN) CPU1: No irq handler for vector e7 (IRQ -2147483648)
(XEN) CPU2: No irq handler for vector e7 (IRQ -2147483648)
Full correct boot log .
I was not able so far to narrow down procedure to reproduce the issue
reliably. My setup is as follow:
- Xen 4.8.3 boot over PXE and rootfs over NFS
- Debian stable with Linux 4.14.y (tried couple versions)
I also can't see any pattern in occurrence of this issue, sometimes it
happen that I see 100 consecutive correct boots without issue. Sometimes
can't boot Xen since getting hang each time.
I tried to compile Xen myself, but instructions  doesn't work for me
using Debian stable. I create Docker container with all dependencies but
make debball complain about missing sys/cdefs.h. I'm not sure what is
most recent way of building Xen on Debian. Also can try to rebuild
modified xen package for my rootfs, if you think it make sense.
If you have ideas how I can continue debugging of that issue or maybe
know what cause it please let me know.