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 fixes to merge the Palacios configuration parameters with Linux parameters.
[palacios.git] / palacios / include / palacios / vmm_symbiotic.h
index 0c581fd..676f901 100644 (file)
 
 #include <palacios/vmm_symspy.h>
 
-#ifdef CONFIG_SYMCALL
+#ifdef V3_CONFIG_SYMCALL
 #include <palacios/vmm_symcall.h>
 #endif
 
-#ifdef CONFIG_SYMMOD
+#ifdef V3_CONFIG_SYMMOD
 #include <palacios/vmm_symmod.h>
 #endif
 
@@ -40,7 +40,7 @@
 struct v3_sym_vm_state {
     struct v3_symspy_global_state symspy_state;
 
-#ifdef CONFIG_SYMMOD
+#ifdef V3_CONFIG_SYMMOD
     struct v3_symmod_state symmod_state;
 #endif
 };
@@ -49,7 +49,7 @@ struct v3_sym_vm_state {
 struct v3_sym_core_state {
     struct v3_symspy_local_state symspy_state;
     
-#ifdef CONFIG_SYMCALL
+#ifdef V3_CONFIG_SYMCALL
     struct v3_symcall_state symcall_state;
 #endif