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.


build fix
Jack Lange [Tue, 5 Jan 2010 18:08:38 +0000 (12:08 -0600)]
palacios/include/palacios/vmcs.h

index 2a7e42e..11309bf 100644 (file)
@@ -265,15 +265,21 @@ struct vmcs_segment {
 
 
 struct vmcs_interrupt_state {
-    uint32_t    sti_blocking    : 1;
-    uint32_t    mov_ss_blocking : 1;
-    uint32_t    smi_blocking    : 1;
-    uint32_t    nmi_blocking    : 1;
-    uint32_t    rsvd1           : 28;
+    union {
+       uint32_t val;
+       struct {
+           uint32_t    sti_blocking    : 1;
+           uint32_t    mov_ss_blocking : 1;
+           uint32_t    smi_blocking    : 1;
+           uint32_t    nmi_blocking    : 1;
+           uint32_t    rsvd1           : 28;
+       } __attribute__((packed));
+    } __attribute__((packed));
 } __attribute__((packed));
 
 
 
+
 struct vmcs_data {
     uint32_t revision ;
     uint32_t abort    ;