118 0xffffffff8250c000 0xffffffff82513000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  128 0xffffffff827f9000 0xffffffff827fa000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  130 0xffffffff8218f000 0xffffffff82192000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  132 0xffffffff82514000 0xffffffff82515000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  133 0xffffffff82516000 0xffffffff82517000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  134 0xffffffff827fb000 0xffffffff827fd000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
  779 0xffffffff8219c000 0xffffffff8219e000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 4590 0xffffffff8265e000 0xffffffff82660000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/framebuffer
 4691 0xffffffff8277c000 0xffffffff8278d000     0          0 /boot/system/add-ons/kernel/drivers/dev/input/usb_hid
 4921 0xffffffff82605000 0xffffffff82608000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 5109 0xffffffff8bf97000 0xffffffff8bfa5000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda