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.


Remove the test code
authorLei Xia <lxia@northwestern.edu>
Wed, 4 Feb 2009 00:03:01 +0000 (18:03 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 4 Feb 2009 00:03:01 +0000 (18:03 -0600)
commit413abe8daa6db12345b9229976457c2c03412f4f
tree38376dbf06a30e15dfc976fb6e6c51c304991d00
parent4ada6b30ddd53076a332905900d1c7c5f167b542
Remove the test code
palacios/src/palacios/vmm_socket.c