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.


lot of changes
[palacios.git] / palacios / include / palacios / vmm_emulate.h
index fb1436b..26d4c6f 100644 (file)
@@ -6,12 +6,11 @@
 /*
  * This is where we do the hideous X86 instruction parsing among other things
  * We can parse out the instruction prefixes, as well as decode the operands 
-
  */
 
 
-/* JRL: Some of this was taken from the Xen sources... 
- *
+/* 
+ * JRL: Some of this was taken from the Xen sources... 
  */
 
 #define PACKED __attribute__((packed))