[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

On Wed, Nov 27, 2013 at 01:51:37PM +0000, Jan Beulich wrote:
> >>> On 26.11.13 at 22:38, Mark Hurenkamp <mark.hurenkamp@xxxxxxxxx> 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:

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@xxxxxxxxxxxxx
> http://lists.xen.org/xen-devel

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.