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.


lwip build fix
authorLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 17:28:23 +0000 (12:28 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 17:28:23 +0000 (12:28 -0500)
commit33b93a80d8b3bf7f4e80aa783a1db4d277d33c35
tree598a9f57b892d389546e923447a57e0f1a56d0a7
parente52012d02075f22e392e5a1d86165f273302b6f7
lwip build fix
geekos/build/Makefile