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.


cleaned up ioctl linux interfaces
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Jun 2012 19:00:27 +0000 (15:00 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Jun 2012 19:00:27 +0000 (15:00 -0400)
commit9d3c2538b9deab4c102cc9c4312517e1df752488
tree9d444a1b6adef58b4886dcb1c6ff5d7b4eca06a3
parent7d2c818e3766b91ab6726f4c31e049a561cf3b9f
cleaned up ioctl linux interfaces
linux_module/iface-stream.c
linux_module/iface-stream.h [deleted file]
linux_module/ioctls.txt
linux_module/palacios-stubs.c
linux_module/palacios.h
linux_usr/v3_ctrl.h