### Hardware virtualization extensions
* Increase performance of virtual kernels
* Make use of hardware virtualization extensions, if supported, to manage vmspaces
-* Make use of hardware IOMMU support if available
+* Implement a KVM-compatible virtualization device to support qemu
+* Hardware IOMMU support is not a priority and if implemented but be strictly optional.
### Remove zalloc
* zalloc is a deprecated kernel interface and all current consumers can be ported to objcache, with varying levels of difficulty.