83 0xffffffff82697000 0xffffffff8269e000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  103 0xffffffff8273a000 0xffffffff8273b000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  105 0xffffffff826bb000 0xffffffff826c5000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  106 0xffffffff8273c000 0xffffffff8273d000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  107 0xffffffff8219d000 0xffffffff8219e000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  108 0xffffffff824a1000 0xffffffff824a3000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
  578 0xffffffff8210e000 0xffffffff82112000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 1366 0xffffffff82113000 0xffffffff82115000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 1790 0xffffffff82116000 0xffffffff82118000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_battery
 3612 0xffffffff8272f000 0xffffffff82733000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/vesa
 3952 0xffffffff824e0000 0xffffffff82508000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/rtl81xx
 4012 0xffffffff82250000 0xffffffff82260000     0          0 /boot/system/add-ons/kernel/drivers/dev/input/usb_hid
 4276 0xffffffffa4fe3000 0xffffffffa4fe6000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 4297 0xffffffff82056000 0xffffffff82063000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda
TEAM 7473 (/bin/grep --color=auto drivers):