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: ee86665)
merge fix and changed file interface
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 00:05:57 +0000 (18:05 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 00:05:57 +0000 (18:05 -0600)
commit7f424638a5e63b0f5434c640543a3558aad75b57
tree0415cc30faf6044fcbaa19820822d288c39a459ftree | snapshot
parentee8666572bea1a9628d96ebc3e4d97f84b357134commit | diff
merge fix and changed file interface
palacios/include/palacios/vmm.h diff | blob | history
palacios/include/palacios/vmm_file.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project