53                  /boot/system/add-ons/kernel/drivers/dev/console 0x813a5000 0x813a7000    0          0
   54                  /boot/system/add-ons/kernel/drivers/dev/dprintf 0x8143c000 0x8143d000    0          0
   55                     /boot/system/add-ons/kernel/drivers/dev/null 0x813fe000 0x813ff000    0          0
   56                   /boot/system/add-ons/kernel/drivers/dev/random 0x813a8000 0x813ab000    0          0
   57                      /boot/system/add-ons/kernel/drivers/dev/tty 0x81402000 0x8140b000    0          0
   58                     /boot/system/add-ons/kernel/drivers/dev/zero 0x813ac000 0x813ad000    0          0
  253           /boot/system/add-ons/kernel/drivers/power/acpi_battery 0x81450000 0x81452000    0          0
  592            /boot/system/add-ons/kernel/drivers/dev/graphics/vesa 0x8114e000 0x81151000    0          0
  757              /boot/system/add-ons/kernel/drivers/dev/input/wacom 0x81317000 0x81319000    0          0
 1304              /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw 0x82e03000 0x82e05000    0          0