94 0xffffffff825da000 0xffffffff825e1000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  128 0xffffffff8217a000 0xffffffff8217b000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  130 0xffffffff820f2000 0xffffffff820fb000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  131 0xffffffff82102000 0xffffffff82103000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  132 0xffffffff82104000 0xffffffff82105000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  133 0xffffffff82106000 0xffffffff82108000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
 1087 0xffffffff8254f000 0xffffffff82553000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 2219 0xffffffff82554000 0xffffffff82556000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_battery
 2268 0xffffffff82557000 0xffffffff82559000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 7476 0xffffffff80237000 0xffffffff80239000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/framebuffer
 7600 0xffffffff90d37000 0xffffffff90d47000     0          0 /boot/system/add-ons/kernel/drivers/dev/input/usb_hid
 7905 0xffffffff8271c000 0xffffffff8271f000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 8022 0xffffffff820e2000 0xffffffff820ef000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda
TEAM 3056 (/bin/grep --color=auto drivers):