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: 77d3f49)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 12 Feb 2008 00:52:30 +0000 (00:52 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 12 Feb 2008 00:52:30 +0000 (00:52 +0000)
commit129ce047d500708a0c9fc9b873b981eb9409aff5
tree7643db566e3ba2bbf72c5f2dc65cf79c27ac5aabtree | snapshot
parent77d3f493ffb660a3d6550cb1344ddf1f673c7156commit | diff
*** empty log message ***
palacios/src/geekos/main.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project