83 0xffffffff81573000 0xffffffff8157a000     0          0 /boot/system/add-ons/kernel/drivers/disk/virtual/ram_disk
  104 0xffffffff81a2c000 0xffffffff81a2d000     0          0 /boot/system/add-ons/kernel/drivers/dev/zero
  106 0xffffffff81ad0000 0xffffffff81ada000     0          0 /boot/system/add-ons/kernel/drivers/dev/tty
  107 0xffffffff8157b000 0xffffffff8157c000     0          0 /boot/system/add-ons/kernel/drivers/dev/null
  108 0xffffffff818a1000 0xffffffff818a2000     0          0 /boot/system/add-ons/kernel/drivers/dev/dprintf
  109 0xffffffff81b51000 0xffffffff81b53000     0          0 /boot/system/add-ons/kernel/drivers/dev/console
 2437 0xffffffff81ae6000 0xffffffff81aea000     0          0 /boot/system/add-ons/kernel/drivers/wmi
 2898 0xffffffff81aeb000 0xffffffff81aed000     0          0 /boot/system/add-ons/kernel/drivers/power/acpi_button
 3385 0xffffffff81a75000 0xffffffff81a79000     0          0 /boot/system/add-ons/kernel/drivers/dev/graphics/vesa
 3459 0xffffffff81a7a000 0xffffffff81a9d000     0          0 /boot/system/add-ons/kernel/drivers/dev/net/rtl8139
 3920 0xffffffff81aee000 0xffffffff81afe000     0          0 /boot/system/add-ons/kernel/drivers/dev/input/usb_hid
 4083 0xffffffff81acc000 0xffffffff81acf000     0          0 /boot/system/add-ons/kernel/drivers/dev/bus/usb_raw
 4158 0xffffffff81403000 0xffffffff81410000     0          0 /boot/system/add-ons/kernel/drivers/dev/audio/hmulti/hda