51                  /boot/system/add-ons/kernel/drivers/dev/console 0x80592000 0x80594000    0          0
   52                  /boot/system/add-ons/kernel/drivers/dev/dprintf 0x80595000 0x80596000    0          0
   53                 /boot/system/add-ons/kernel/drivers/dev/keyboard 0x80597000 0x80599000    0          0
   54                     /boot/system/add-ons/kernel/drivers/dev/null 0x8059a000 0x8059b000    0          0
   55                   /boot/system/add-ons/kernel/drivers/dev/random 0x8059c000 0x8059f000    0          0
   56                      /boot/system/add-ons/kernel/drivers/dev/tty 0x805a0000 0x805a8000    0          0
   57                     /boot/system/add-ons/kernel/drivers/dev/zero 0x805ac000 0x805ad000    0          0
  536            /boot/system/add-ons/kernel/drivers/dev/graphics/vesa 0x80586000 0x80589000    0          0
  545              /boot/system/add-ons/kernel/drivers/dev/net/rtl8169 0x805c7000 0x805cb000    0          0
  723              /boot/system/add-ons/kernel/drivers/dev/input/wacom 0x83d43000 0x83d45000    0          0
 1291               /boot/system/add-ons/kernel/drivers/dev/bus/fw_raw 0x83ddc000 0x83ddf000    0          0
 1294              /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw 0x959d3000 0x959d5000    0          0
TEAM 4057 (/bin/grep drivers/):