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.


----------------------------------------------------------------------
authorLei Xia <xiaxlei@gmail.com>
Mon, 8 Sep 2008 18:42:16 +0000 (18:42 +0000)
committerLei Xia <xiaxlei@gmail.com>
Mon, 8 Sep 2008 18:42:16 +0000 (18:42 +0000)
commit2d54cbffed45708ef9eb065115d35fdf40af8eeb
treed369dae349d0903f44caa7792fea8ee0937b1991
parent8b35b23a5b32158fcec29e6ada920b57adc169fa
 ----------------------------------------------------------------------
palacios/src/geekos/socket.c