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: a42d26e)
Split global option processing code into a separate file
authorPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 20 Feb 2013 17:54:50 +0000 (10:54 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 20 Feb 2013 17:54:50 +0000 (10:54 -0700)
commita19f42cc45ff4c4a07bf917a78a2a422319a78bb
tree295bef96a2e41c5629cfae791aac71b15e54d1d2tree | snapshot
parenta42d26ef7734aadfe5c2062fc3757b2a31af2df6commit | diff
Split global option processing code into a separate file
palacios/include/palacios/vmm_options.h [new file with mode: 0644] blob
palacios/src/palacios/vmm.c diff | blob | history
palacios/src/palacios/vmm_options.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project