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: 7e45206)
removed vm_kernel
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 19:17:07 +0000 (14:17 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 19:17:07 +0000 (14:17 -0500)
commit7370f6390f76068781ddb23ab23e4d4c103039f4
tree075af3381325dc864a34a0ce840c793d2844093atree | snapshot
parent7e45206e4fd717b11b6f7947caa73504db62fffdcommit | diff
removed vm_kernel
palacios/build/vm_kernel [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project