Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added memory region generated page tables, and removed all the ugliness that was...
[palacios.git] / palacios / include / geekos / svm.h
index 3854220..84c48dd 100644 (file)
@@ -48,7 +48,7 @@
 
 
 /******************************************/
-/* SVM Intercep Exit Codes                */
+/* SVM Intercept Exit Codes               */
 /* AMD Arch Vol 3, Appendix C, pg 477-478 */
 /******************************************/
 #define VMEXIT_CR_READ_MASK 0xfffffff0