(no commit message)
authorsjg <sjg@web>
Tue, 1 Mar 2011 19:45:42 +0000 (11:45 -0800)
committerCharlie <root@leaf.dragonflybsd.org>
Tue, 1 Mar 2011 19:45:42 +0000 (11:45 -0800)
docs/developer/gsocprojectspage/index.mdwn

index 6332be8..b33a269 100644 (file)
@@ -333,7 +333,7 @@ Meta information:
 
 ---
 
-##### Implemented hardware nested page table support for vkernels
+##### Implement hardware nested page table support for vkernels
 * Various modern hardware supports virtualization extensions, including nested pagetables.
 * The DragonFly BSD vmspaces API, used to support vkernels, is effectively a software implementation of nested pagetables.
 * The goal of this project would be to add support for detection of the hardware features on AMD and Intel cpu's and alter the vmspace implementation to use hardware support when available.