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

[Mark Hurenkamp <mark.hurenkamp@xxxxxxxxx>]

On 2013-11-27 14:51, 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.
Well that must be my mistake then... i did check the config which seemed
to indicate that it should support EFI:

# grep CONFIG_EFI /boot/config-3.13.0-031300rc1-generic
CONFIG_EFI_PARTITION=y
CONFIG_EFI=y
CONFIG_EFI_STUB=y
CONFIG_EFI_VARS=y
CONFIG_EFI_VARS_PSTORE=m
# CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
CONFIG_EFIVAR_FS=y

I was not aware this is known to be broken in 3.13-rc1.

> You could have found this by searching e.g. the mailing list archives;
Sorry to have bothered you with something that is apparently a FAQ.
Thanks for your time & patience.


Regards,
Mark.


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