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.


Fix gcc warning messages
authorKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:15:46 +0000 (15:15 -0500)
committerKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:15:46 +0000 (15:15 -0500)
commit851892e9e1db5252d2c03e58e7faf9d80c095f6c
tree0692902cff418a2254aae19a9daeada613e6d2c4
parentfac5e52e6e6f5cb160180c21e1f19c761a7dc88a
Fix gcc warning messages
palacios/include/palacios/vmm.h