Hi What does it mean not available? Maybe you can check if you programmed ELCR register to edge for IRQ4.
You can't share the IRQ4 with PCI IRQ I think thats why it does not work. You need to route the the PIRQA to something else, like IRQ3. Thanks Rudolf -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
