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.


V3_Sockets Macros tested
authorLei Xia <lxia@northwestern.edu>
Tue, 3 Feb 2009 23:59:28 +0000 (17:59 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 3 Feb 2009 23:59:28 +0000 (17:59 -0600)
commitae2948e2c649d8e63252d4b665f29b268858294e
tree8a843b644e925e47e139f163f295bd4a42b184c4
parente4c0bf63a6e95019f79f7ff9915fd5d360d2c31a
V3_Sockets Macros tested
palacios/include/palacios/vmm_socket.h
palacios/src/palacios/vmm_socket.c