[GSOC] Implement hardware nested page table support for vkernels

Mihai Carabas mihai.carabas at gmail.com
Sun Apr 28 01:28:55 PDT 2013


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.htm>


More information about the Kernel mailing list