- Linuxbios is coming up and so is the kernel. The pirq table however, is not successfully copied to 0xf0000, or so the debuging message tells me. Ethernet and usb both have irq zero assigned in linux ...
Any tips where I can start looking?
It could be src/config/Config's CONFIG_COMPRESS is set to 1. Try to set it to 0.
-Andrew