CPU0       
  0:    7617889          XT-PIC  timer
  1:      92165          XT-PIC  keyboard
  2:          0          XT-PIC  cascade
  5:          2          XT-PIC  Allegro
  8:          1          XT-PIC  rtc
  9:          1          XT-PIC  acpi, usb-ohci
 11:      35678          XT-PIC  Texas Instruments PCI1420, Texas Instruments PCI1420 (#2), eth0
 12:     158709          XT-PIC  PS/2 Mouse
 14:      81947          XT-PIC  ide0
 15:          2          XT-PIC  ide1
NMI:          0 
ERR:          0
MIS:          0