<div dir="ltr">Hello everyone!<br><br>My name is Mihai Carabas and this summer I will be working on <br>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.<br>
<br>First of all, I will have develop a mechanism for detecting the support for extended/nested page table through the "cpuid" command.<br><br>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.<br>
<br>In the end I will be integrating the hardware page table walking into the VMSPACE API and start testing.<br><br>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.<br>
<br>You can see my detailed proposal here [1].<br><br>Thanks,<br>Mihai<br><br>[1] <a href="http://www.google-melange.com/gsoc/proposal/review/google/gsoc2013/mihaicarabas/14001">http://www.google-melange.com/gsoc/proposal/review/google/gsoc2013/mihaicarabas/14001</a><br>
</div>