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.


updated the socket interface
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 18 Nov 2010 18:56:57 +0000 (12:56 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 18 Nov 2010 18:56:57 +0000 (12:56 -0600)
commit684e59f366917eb0d0495c677c182490031617f6
treec77b7b99cb15c31a129b4aea637ba14df90004f0
parent57ba224d7236e1f9d3c7ca683f9057bd5fda70a0
updated the socket interface
palacios/include/palacios/vmm_socket.h
palacios/src/devices/netdisk.c
palacios/src/palacios/vmm_socket.c