127 0xffffffff82621000 0xffffffff82628000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  137 0xffffffff8217c000 0xffffffff8217d000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  139 0xffffffff825bf000 0xffffffff825c2000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  141 0xffffffff825c3000 0xffffffff825c4000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  142 0xffffffff827f9000 0xffffffff827fa000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  143 0xffffffff8280f000 0xffffffff82811000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
  524 0xffffffff82184000 0xffffffff82186000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 2399 0xffffffff82594000 0xffffffff82597000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_battery
 3351 0xffffffff82598000 0xffffffff8259c000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 5254 0xffffffff80771000 0xffffffff80797000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/rtl81xx
 6082 0xffffffff8272d000 0xffffffff8272f000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/framebuffer
 6169 0xffffffffab36f000 0xffffffffab380000     0          0 /boot/system/add-ons/kernel/drivers/dev/input/usb_hid
 6560 0xffffffffb0102000 0xffffffffb0105000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 6650 0xffffffffb0139000 0xffffffffb0147000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda
TEAM 1026 (/bin/grep --color=auto drivers):