55                  /boot/system/add-ons/kernel/drivers/dev/console 0x816eb000 0x816ed000    0          0
   56                  /boot/system/add-ons/kernel/drivers/dev/dprintf 0x8157c000 0x8157d000    0          0
   57                     /boot/system/add-ons/kernel/drivers/dev/null 0x8154c000 0x8154d000    0          0
   58                   /boot/system/add-ons/kernel/drivers/dev/random 0x8158f000 0x81592000    0          0
   59                      /boot/system/add-ons/kernel/drivers/dev/tty 0x81597000 0x815a0000    0          0
   60                     /boot/system/add-ons/kernel/drivers/dev/zero 0x81553000 0x81554000    0          0
  661           /boot/system/add-ons/kernel/drivers/power/acpi_battery 0x8135c000 0x8135e000    0          0
  672            /boot/system/add-ons/kernel/drivers/power/x86_cpuidle 0x81365000 0x81367000    0          0
 1234            /boot/system/add-ons/kernel/drivers/dev/graphics/vesa 0x81111000 0x81115000    0          0
 1308         /boot/system/add-ons/kernel/drivers/dev/net/iprowifi4965 0x81389000 0x813f1000    0          0
 1312        /boot/system/add-ons/kernel/drivers/dev/net/marvell_yukon 0xcf513000 0xcf532000    0          0
 1439              /boot/system/add-ons/kernel/drivers/dev/input/wacom 0x81c1b000 0x81c1d000    0          0
 1824        /boot/system/add-ons/kernel/drivers/dev/power/acpi_button 0x80652000 0x80653000    0          0
 1934               /boot/system/add-ons/kernel/drivers/dev/bus/fw_raw 0x81cfd000 0x81d00000    0          0
 1936              /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw 0x80742000 0x80744000    0          0
 1944         /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda 0x80749000 0x80754000    0          0
TEAM 9612 (/boot/common/bin/grep --color=auto drivers):