Probably related to another issue where any PCI interrupt will cause mysterious triple faults. Which is very frustrating since I recently ported the PicoTCP stack, but now have no way of getting packets into it… #osdev