51                  /boot/system/add-ons/kernel/drivers/dev/console 0x815d0000 0x815d2000    0          0
   52                  /boot/system/add-ons/kernel/drivers/dev/dprintf 0x81629000 0x8162a000    0          0
   53                     /boot/system/add-ons/kernel/drivers/dev/null 0x815d3000 0x815d4000    0          0
   54                   /boot/system/add-ons/kernel/drivers/dev/random 0x815d5000 0x815d8000    0          0
   55                      /boot/system/add-ons/kernel/drivers/dev/tty 0x81538000 0x81541000    0          0
   56                     /boot/system/add-ons/kernel/drivers/dev/zero 0x81545000 0x81546000    0          0
  603            /boot/system/add-ons/kernel/drivers/dev/graphics/vesa 0x8101d000 0x81020000    0          0
  713            /boot/system/add-ons/kernel/drivers/dev/input/usb_hid 0x81dca000 0x81dd2000    0          0
  714              /boot/system/add-ons/kernel/drivers/dev/input/wacom 0x84cdc000 0x84cde000    0          0
  912               /boot/system/add-ons/kernel/drivers/dev/bus/fw_raw 0x81e80000 0x81e83000    0          0
  914              /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw 0x81f64000 0x81f66000    0          0
  925         /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda 0x81f6f000 0x81f79000    0          0