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.


Support for lwIP switch on/off in Makefile
authorLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 22:01:38 +0000 (17:01 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 22:01:38 +0000 (17:01 -0500)
commit0275d8e8b9bc4c08095426a20e82054d759094e7
treeaa46d6213bef3cf65123e8f67e880cf9c559594b
parent33b93a80d8b3bf7f4e80aa783a1db4d277d33c35
Support for lwIP switch on/off in Makefile
geekos/build/Makefile
geekos/src/geekos/net.c