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: 0275d8e)
build fix
authorLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 22:44:54 +0000 (17:44 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 22:44:54 +0000 (17:44 -0500)
commitf7af5ac9e55ea3b5ba13c273adeaf4ed57fda645
tree201ea248ccf2be2f7ed70d4cc24a363ffab61fc7tree | snapshot
parent0275d8e8b9bc4c08095426a20e82054d759094e7commit | diff
build fix
build/RunPuppy.sh diff | blob | history
geekos/src/geekos/net.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project