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.


Update host dev and keyed stream user to reflect changes in ioctl define locations
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 23:01:39 +0000 (18:01 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 23:01:39 +0000 (18:01 -0500)
commitc6376e3af2c48a2ec22e8521a3f96fa7923bf264
tree149e2f9d25d3813b3919228ec087dda8b957e6ef
parent18004a8cb830010315b412162da2d92b95a960ee
Update host dev and keyed stream user to reflect changes in ioctl define locations
linux_module/iface-host-dev.h
linux_module/iface-keyed-stream-user.h