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.


minor symbiotic interface fixes
Jack Lange [Thu, 4 Feb 2010 01:00:19 +0000 (19:00 -0600)]
palacios/include/palacios/vmm_sym_iface.h
palacios/src/palacios/vm_guest.c

index 2f1966a..ddda447 100644 (file)
@@ -50,7 +50,7 @@ struct v3_sym_local_page {
            uint32_t sym_call_enabled       : 1;
        } __attribute__((packed));
     } __attribute__((packed));
-};
+} __attribute__((packed));
 
 
 #include <palacios/vm_guest.h>
@@ -111,7 +111,7 @@ struct v3_sym_local_state {
 
 
 int v3_init_sym_iface(struct v3_vm_info * vm);
-
+int v3_init_sym_core(struct guest_info * core);
 
 typedef uint64_t sym_arg_t;
 
index e62835c..e295c1a 100644 (file)
@@ -485,6 +485,9 @@ int v3_init_core(struct guest_info * core) {
     v3_init_decoder(core);
 
 
+#ifdef CONFIG_SYMBIOTIC
+    v3_init_sym_core(core);
+#endif
 
     // init SVM/VMX
 #ifdef CONFIG_SVM