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.


Fixed stupid branch check, added more preconfig error checking
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 29 Jul 2010 18:23:00 +0000 (12:23 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 29 Jul 2010 18:23:00 +0000 (12:23 -0600)
commitd67c78032a64cc297e791caf2f678bc20aa13a3b
tree0df1175e665a0bafbd4a18d1f5fcdecc300f851c
parent6d9d2f66b15fba2d85c6f74c84eee68444219775
Fixed stupid branch check, added more preconfig error checking
palacios/src/palacios/vmm_config.c