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 warning/error prints corrected.
authorPatrick G. Bridges <pgbridg@sandia.gov>
Thu, 26 Aug 2010 20:07:06 +0000 (14:07 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Thu, 26 Aug 2010 20:07:06 +0000 (14:07 -0600)
commitae0d9f72adc43c791ac13037285385fd8bb3c206
tree6df6244d27b89700f0d8ee0e2314a4d67563068f
parentbecaedb8845bde9b3e3f64c626b091b94918e50c
Minor warning/error prints corrected.
palacios/src/devices/apic.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmx_assist.c
palacios/src/palacios/vmx_ctrl_regs.c