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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 35ae6d4)
Fix xed build error
authorKevin Pedretti <ktpedre@sandia.gov>
Fri, 4 Apr 2014 21:49:37 +0000 (15:49 -0600)
committerKevin Pedretti <ktpedre@sandia.gov>
Fri, 4 Apr 2014 21:49:37 +0000 (15:49 -0600)
commit4f08b7d2c24201362dbf75d0c4919cc74c054d83
tree97dcf921738c438b4d777245aa5e3c0a788be5c3tree | snapshot
parent35ae6d4aed98585da4c63817a4336daa10546e40commit | diff
Fix xed build error
palacios/src/palacios/vmm_xed.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project