51                  /boot/system/add-ons/kernel/drivers/dev/console 0x814ea000 0x814ec000    0          0
   52                  /boot/system/add-ons/kernel/drivers/dev/dprintf 0x81542000 0x81543000    0          0
   53                     /boot/system/add-ons/kernel/drivers/dev/null 0x81558000 0x81559000    0          0
   54                   /boot/system/add-ons/kernel/drivers/dev/random 0x81566000 0x81569000    0          0
   55                      /boot/system/add-ons/kernel/drivers/dev/tty 0x81dca000 0x81dd3000    0          0
   56                     /boot/system/add-ons/kernel/drivers/dev/zero 0x81524000 0x81525000    0          0
  589     /boot/system/add-ons/kernel/drivers/power/enhanced_speedstep 0x81e4a000 0x81e4d000    0          0
  744            /boot/system/add-ons/kernel/drivers/dev/graphics/vesa 0x8112a000 0x8112d000    0          0
  749             /boot/system/add-ons/kernel/drivers/dev/net/ipro1000 0x81e77000 0x81eae000    0          0
  936            /boot/system/add-ons/kernel/drivers/dev/input/usb_hid 0x805c5000 0x805cd000    0          0
  963              /boot/system/add-ons/kernel/drivers/dev/input/wacom 0x8120c000 0x8120e000    0          0
 1029              /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw 0x8123b000 0x8123d000    0          0
 1084         /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda 0x8060b000 0x80615000    0          0