82 0xffffffff824b5000 0xffffffff824bc000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  104 0xffffffff82177000 0xffffffff82178000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  106 0xffffffff825ab000 0xffffffff825b5000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  107 0xffffffff8275c000 0xffffffff8275d000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  108 0xffffffff8275e000 0xffffffff8275f000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  109 0xffffffff82633000 0xffffffff82635000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
  597 0xffffffff826ed000 0xffffffff826f1000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 2135 0xffffffff826f2000 0xffffffff826f4000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_battery
 2400 0xffffffff826f5000 0xffffffff826f7000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 3017 0xffffffff805da000 0xffffffff80670000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/idualwifi7260
 3054 0xffffffff807a8000 0xffffffff807b0000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/intel_extreme
 3061 0xffffffff807b7000 0xffffffff807bb000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/vesa
 3138 0xffffffff97c81000 0xffffffff97cfd000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/ipro1000
 3484 0xffffffff97d26000 0xffffffff97d36000     0          0 /boot/system/add-ons/kernel/drivers/dev/input/usb_hid
 3759 0xffffffff97d17000 0xffffffff97d1a000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 3844 0xffffffff9cba5000 0xffffffff9cbb2000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda
TEAM 1432 (/bin/grep --color=auto drivers):