[GSOC] Implement hardware nested page table support for vkernels

[Mihai Carabas]

Hello,

Here is my official application for GSoC 2013 [1] (it's public). Any
comments/reviews are welcome.

Thanks,
Mihai

[1]
http://www.google-melange.com/gsoc/proposal/review/google/gsoc2013/mihaicarabas/14001
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.dragonflybsd.org/pipermail/kernel/attachments/20130428/71012385/attachment-0002.html>