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: 70c69ef)
fixed missing #endif
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 3 Oct 2008 20:24:44 +0000 (15:24 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 3 Oct 2008 20:24:44 +0000 (15:24 -0500)
commit657edaf0edf3663843b64570c33ba1aaf9364ff0
tree2a9888fb66da049a9f6a95fdba020a4ad06d568btree | snapshot
parent70c69ef3be9d607190ad2810504c85ee57d16e25commit | diff
fixed missing #endif
palacios/include/palacios/vmcs_gen.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project