add hardware-supported vkernels
authorsjg <sjg@web>
Tue, 1 Mar 2011 19:44:25 +0000 (11:44 -0800)
committerCharlie <root@leaf.dragonflybsd.org>
Tue, 1 Mar 2011 19:44:25 +0000 (11:44 -0800)
docs/developer/gsocprojectspage/index.mdwn

index 8bd992f..6332be8 100644 (file)
@@ -331,5 +331,18 @@ Meta information:
 * Difficulty: Medium
 * Contact point: kernel@crater.dragonflybsd.org , Alex Hornung <alexh@dragonflybsd.org>
 
+---
+
+##### Implemented 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.
+
+Meta information:
 
+* Prerequisites: C, x86 assembly, OS internals
+* Difficulty: Hard
+* Contact point: kernel@crater.dragonflybsd.org
+
+---
  (please add)