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.


Fixed host device and keyed stream compilation on different linux kernel versions
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 24 Feb 2012 18:06:31 +0000 (11:06 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 24 Feb 2012 18:06:31 +0000 (11:06 -0700)
commitdb0b003cd20ee08be24c6f3e7f2b5cc578d57aae
treef5012b2989aab989efa2a70d061b7994b08f3e7a
parent85072cab5137e1db9aa3f8e9b8cc82887b72d9db
Fixed host device and keyed stream compilation on different linux kernel versions
linux_module/iface-host-dev.c
linux_module/iface-keyed-stream.c