Re: [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