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: e642ea3)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Sep 2008 19:32:33 +0000 (19:32 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Sep 2008 19:32:33 +0000 (19:32 +0000)
commitb1a2026094d16135da97686e18fa99bfeeec70eb
tree68d1d1c77c0c3810b0b8d9040fb82b40f9ebbcbetree | snapshot
parente642ea3a27bf1961a19ef3776c34333025c2a585commit | diff
*** empty log message ***
palacios/src/geekos/main.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project