[LinuxBIOS] x86_64: apic id lift patch

Stefan Reinauer stepan at openbios.org
Wed Nov 23 19:18:04 CET 2005


* yhlu <yinghailu at gmail.com> [051123 18:40]:
> is there any way to make the kernel use apci but still use pci irq
> routing from mptable?

Yes, don't provide any of MADT, DSDT, FADT.

   Stefan





More information about the coreboot mailing list