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: 33b93a8)
disabled network initialization
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 6 Oct 2008 20:49:05 +0000 (15:49 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 6 Oct 2008 20:49:05 +0000 (15:49 -0500)
commitf2ca95fb9b02995a2826fee0d5559a9739f390f2
treeb82ed1e4f3080a9d945b9929ed99145726eb4e01tree | snapshot
parent33b93a80d8b3bf7f4e80aa783a1db4d277d33c35commit | diff
disabled network initialization
geekos/src/geekos/main.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project