* Increase performance of virtual kernels
* Make use of hardware virtualization extensions, if supported, to manage vmspaces
* Implement a KVM-compatible virtualization device to support qemu
-* Hardware IOMMU support is not a priority and if implemented but be strictly optional.
+* Hardware IOMMU support is not a priority and if implemented must 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.