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
