51                  /boot/system/add-ons/kernel/drivers/dev/console 0x813cb000 0x813cd000    0          0
   52                  /boot/system/add-ons/kernel/drivers/dev/dprintf 0x81421000 0x81422000    0          0
   53                     /boot/system/add-ons/kernel/drivers/dev/null 0x81455000 0x81456000    0          0
   54                   /boot/system/add-ons/kernel/drivers/dev/random 0x813ce000 0x813d1000    0          0
   55                      /boot/system/add-ons/kernel/drivers/dev/tty 0x81463000 0x8146c000    0          0
   56                     /boot/system/add-ons/kernel/drivers/dev/zero 0x810fd000 0x810fe000    0          0
  424     /boot/system/add-ons/kernel/drivers/power/enhanced_speedstep 0x81228000 0x8122b000    0          0
  538          /boot/system/add-ons/kernel/drivers/dev/graphics/radeon 0x8100c000 0x8101b000    0          0
  541            /boot/system/add-ons/kernel/drivers/dev/graphics/vesa 0x815b1000 0x815b4000    0          0
  619              /boot/system/add-ons/kernel/drivers/dev/input/wacom 0x8136d000 0x8136f000    0          0
  709        /boot/system/add-ons/kernel/drivers/dev/disk/usb/usb_disk 0x8173e000 0x81742000    0          0
  809               /boot/system/add-ons/kernel/drivers/dev/bus/fw_raw 0x81760000 0x81763000    0          0
  811              /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw 0x81fea000 0x81fec000    0          0