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.


changed V3_SOCK to int, and updated the sock_set types and macros
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Mar 2009 19:09:32 +0000 (13:09 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Mar 2009 19:09:32 +0000 (13:09 -0600)
commit2166b2c5f57341f9674821c4b2af0de607f63c2f
treec4d9778350b9e40007cf427b9d1b7b639f5c1f6b
parent4bbf19c3714d24b246a380610aef6ab83afc01f7
changed V3_SOCK to int, and updated the sock_set types and macros
palacios/include/palacios/vmm_socket.h
palacios/src/palacios/vmm_socket.c