Re: [GSOC] Implement hardware nested page table support for vkernels

Mihai Carabas <[email protected]>
Newsgroups gmane.os.dragonfly-bsd.kernel
Message-ID <CANg1yUtqF4SZvhOSqrLj4rk6xGX93PKpv2D842VLJYveKG9aMQ@mail.gmail.com> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.