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.


added utility socket functions
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Jun 2009 22:03:38 +0000 (17:03 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Jun 2009 22:03:38 +0000 (17:03 -0500)
commit9e5466cf32b157becd1f7d429bf687a1a14d544a
treebbeb8b29fca431b7534fb65f8ccb706f8758f7e4
parentec5d14e0646389db39ffc9244bf8204629b74a8e
added utility socket functions
palacios/include/palacios/vmm_socket.h
palacios/src/palacios/vmm_socket.c