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.


Compilation fixes for more recent kernels
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Jun 2012 21:29:02 +0000 (16:29 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Jun 2012 21:29:02 +0000 (16:29 -0500)
commit51f1721ae74c6292a8575c6d27e4b043f1602903
tree2f1b65ae7d98d6553f37d810309e28f1d4147524
parente35f8da41ca19497bd7dc0f6e7fef140f3a20c78
Compilation fixes for more recent kernels
linux_module/iface-file.c
linux_usr/v3_user_host_dev.h
linux_usr/v3_user_keyed_stream.h