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.


bug fixes
[palacios.git] / palacios / include / palacios / vmm_decoder.h
index 3631e14..145de82 100644 (file)
@@ -45,7 +45,7 @@ struct x86_operand {
     v3_operand_type_t type;
     uint8_t read : 1;
     uint8_t write : 1;
-};
+} __attribute__((packed));
 
 struct x86_prefixes {
     uint_t lock   : 1;  // 0xF0