83 0xffffffff82110000 0xffffffff82117000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  104 0xffffffff8218a000 0xffffffff8218b000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  106 0xffffffff826ca000 0xffffffff826d4000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  107 0xffffffff824a9000 0xffffffff824aa000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  108 0xffffffff8259e000 0xffffffff8259f000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  109 0xffffffff8274f000 0xffffffff82751000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
  666 0xffffffff826e4000 0xffffffff826e6000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_battery
  706 0xffffffff826e7000 0xffffffff826e9000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
  738 0xffffffff82572000 0xffffffff82576000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 2997 0xffffffff825e0000 0xffffffff825e8000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/intel_extreme
 3007 0xffffffff825ef000 0xffffffff825f3000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/vesa
 3139 0xffffffff8b9a9000 0xffffffff8ba3e000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/iprowifi4965
 3510 0xffffffff80388000 0xffffffff80404000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/ipro1000
 3672 0xffffffff824c0000 0xffffffff824c3000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 3757 0xffffffff80465000 0xffffffff80472000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda
TEAM 125631 (/bin/grep --color=auto drivers):