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.


working paged real mode
[palacios.git] / palacios / include / geekos / vmcb.h
index 894c12e..8bce011 100644 (file)
@@ -294,7 +294,7 @@ struct vmcb_selector {
   ushort_t selector                   PACKED;
 
   /* These attributes are basically a direct map of the attribute fields of a segment desc.
-   * The segment limit in the middle is removed and the fields are pused together
+   * The segment limit in the middle is removed and the fields are fused together
    * There IS empty space at the end... See AMD Arch vol3, sect. 4.7.1,  pg 78
    */
   union {