~> listimage | grep drivers
   84 0x81501000 0x81508000     0          0 /boot/system/add-ons/kernel/driver/disk/virtual/ram_disk
  106 0x81bfe000 0x81bff000     0          0 /boot/system/add-ons/kernel/driver/dev/zero
  108 0x8159d000 0x815a6000     0          0 /boot/system/add-ons/kernel/driver/dev/tty
  109 0x81560000 0x81561000     0          0 /boot/system/add-ons/kernel/driver/dev/null
  110 0x81582000 0x81583000     0          0 /boot/system/add-ons/kernel/driver/dev/dprintf
  111 0x817c6000 0x817c8000     0          0 /boot/system/add-ons/kernel/driver/dev/console
  967 0x8187f000 0x81881000     0          0 /boot/system/add-ons/kernel/driver/power/acpi_battery
 1234 0x81882000 0x81884000     0          0 /boot/system/add-ons/kernel/driver/power/acpi_button
 1567 0x81a3d000 0x81a44000     0          0 /boot/system/add-ons/kernel/driver/dev/graphics/intel_extreme
 1570 0x8182a000 0x8182e000     0          0 /boot/system/add-ons/kernel/driver/dev/graphics/vesa
 4928 0x81895000 0x81898000     0          0 /boot/system/add-ons/kernel/driver/dev/bus/fw_raw
 4930 0x81991000 0x81994000     0          0 /boot/system/add-ons/kernel/driver/dev/bus/usb_raw