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.


More Linux 3.19+ kernel compatability fixes
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Jul 2016 00:09:03 +0000 (19:09 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Jul 2016 00:15:30 +0000 (19:15 -0500)
commitf4b69a7f12e47d146be4cecf1d46dfd37f87d89a
tree94c5e29524ffbb37961d7d3eb3a5c6cb9c9a623e
parentea68fe042705986beaec92f33db0395b816c2e38
More Linux 3.19+ kernel compatability fixes
Makefile
linux_module/iface-packet.c