[GSOC] Implement hardware nested page table support for vkernels

[Mihai Carabas]

Hello everyone!

My name is Mihai Carabas and this summer I will be working on
developing harware nested page table support for vkernels.. The goal of the
project is to do thepagetable walking for a guest into the harware, too. My
mentor on this project will be Venkatesh Srinivas.

First of all, I will have develop a mechanism for detecting the support for
extended/nested page table through the "cpuid" command.

In the next step, I will make a simple hardware page table walking, to see
how the mechanism work. Probably it will include stub functions for
VMSPACES implementation to releave the design I thought at.

In the end I will be integrating the hardware page table walking into the
VMSPACE API and start testing.

As a final outcome, I should have a functional vkernel with hardware page
table walking on one platform (the most likely Intel) and some analisys
regarding the gain of perfomance obtain through this new feature.

You can see my detailed proposal here [1].

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/20130607/cf7bc4d7/attachment-0002.htm>