Re: Xen 4.4 trunk: device [xxxx:yyyy] has invalid IRQ; check vendor BIOS

[Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>]

On Wed, Nov 27, 2013 at 01:51:37PM +0000, Jan Beulich wrote:
> >>> On 26.11.13 at 22:38, Mark Hurenkamp <mark.hurenkamp@xs4all.nl> wrote:
> > Thanks for your response, i wasn't sure if this was the right place to 
> > address this, so i kept my initial mail short. However I would indeed 
> > appreciate any help that can point me into the direction of a more 
> > useable xen installation on this system.
> > So brace yourself for some information ;-)
> > 
> > xen.cfg:
> > ========
> 
> So you're booting from EFI, with a kernel not capable of this. Hence
> ACPI isn't being used, and consequently it's surprising that at least
> some of your interrupts appear to work.
> 
> You could have found this by searching e.g. the mailing list archives;
> you're not the first one to encounter this.

CC-ing Daniel and Eric

Eric Shelton posted some patches:
 http://lists.xen.org/archives/html/xen-devel/2013-08/msg01505.html

that would allow your Linux kernel to take advantage of it.
But they are not yet upstream-quality. I had provided some
ideas of how to make this fit within the model - but I fear
Eric got buried with other TODOs.

> 
> Jan
> 
> 
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> http://lists.xen.org/xen-devel