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.


Restructure of direct host network bridge.
[palacios.git] / palacios / include / palacios / vmm_mem.h
index 99a53fc..6974344 100644 (file)
@@ -44,6 +44,9 @@ typedef struct {
     union {
        uint16_t value;
        struct {
+           // These reflect the VMM's intent for the shadow or nested pts 
+           // that will implement the region.   The guest's intent is in
+           // its own page tables.
            uint8_t read   : 1;
            uint8_t write  : 1;
            uint8_t exec   : 1;