131 0xffffffff82182000 0xffffffff8218a000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  141 0xffffffff8281b000 0xffffffff8281c000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  143 0xffffffff825c1000 0xffffffff825c4000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  145 0xffffffff8281d000 0xffffffff8281e000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  146 0xffffffff82805000 0xffffffff82806000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  147 0xffffffff82807000 0xffffffff82809000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
  953 0xffffffff8259b000 0xffffffff8259d000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 3128 0xffffffff8259e000 0xffffffff825a1000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_battery
 3288 0xffffffff820fe000 0xffffffff82102000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 6160 0xffffffff81ac9000 0xffffffff81b84000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/realtekwifi
 6560 0xffffffff825e8000 0xffffffff82646000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/iaxwifi200
 7109 0xffffffff80774000 0xffffffff80776000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/framebuffer
 7115 0xffffffff81d18000 0xffffffff81d3f000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/rtl81xx
 7626 0xffffffff82663000 0xffffffff82666000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 7732 0xffffffff81cd1000 0xffffffff81cdf000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda
TEAM 1065 (/bin/grep --color=auto drivers):