[LinuxBIOS] Kernel lock-ups??

Stefan Reinauer stepan at coresystems.de
Wed Oct 17 09:26:37 CEST 2007

* joe at smittys.pointclark.net <joe at smittys.pointclark.net> [071017 03:08]:
> Ok, So I will dig into the irq tables and see what I can find. But, how do 
> I now this isn't just related to a Read issue with the Upper Bios Area 
> 0x0F0000(960K) - 0x0FFFFF(1MB)?? That is why I would like to diagnos that 
> first. So I ask is there a way to dump (printk) this area in human readable 
> format right after the check_pirq_routing_table() function?? Or if I can 
> fudge my way to a linux command line with a whole bunch of work arounds can 
> I dump it then to see the issue?

It is very likely that F0000 is not writable per default. I think a
workaround was to not compress the LinuxBIOS image, so the PIRQ table
would stay uncompressed in the F0000 area.

> FYI: The original Bios does use ACPI for interrupt & irq routing.

Yep, they're all like that these days. (Mostly)

coresystems GmbH • Brahmsstr. 16 • D-79104 Freiburg i. Br.
      Tel.: +49 761 7668825 • Fax: +49 761 7664613
Email: info at coresystems.dehttp://www.coresystems.de/

More information about the coreboot mailing list