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: 4bdba55)
build fix
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Jan 2010 18:08:38 +0000 (12:08 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Jan 2010 18:08:38 +0000 (12:08 -0600)
commitd0dd50e04b4847a2b170d11c849f477b7ca84168
tree0c766f8582b76a841daa55454e6dd4683c753e36tree | snapshot
parent4bdba551de0969275a9b3ea6db8d99c6c25548a3commit | diff
build fix
palacios/include/palacios/vmcs.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project