Implement hardware nested page table support for vkernels

by Mihai Carabas for DragonFly BSD

The aim of this project is to implement support for extended/nested page tables virtualization extension in order to improve page table walkings in the vkernels.