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.


ported packet to extension framework and fixed type in socket interface
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 20:52:05 +0000 (15:52 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 20:52:05 +0000 (15:52 -0500)
commit9cf7a82c32a23118057172b1071388f19face739
tree456e38270770ec015823ba2bb01dd544a4f6da56
parent5a47f41dd0d9d8706b172da4b1d154d90c1617e4
ported packet to extension framework and fixed type in socket interface
linux_module/palacios-dev.c
linux_module/palacios-packet.c
linux_module/palacios-socket.c
linux_module/palacios.h