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.


proper cleanup in iface-file and iface-host-dev
authorKyle Hale <kh@u.northwestern.edu>
Tue, 10 Jul 2012 23:36:31 +0000 (18:36 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Jul 2012 16:11:16 +0000 (11:11 -0500)
commitcfedaa152e9e6b3518b547d06fed1df371dc90e8
tree4379e927dbf1d7c71c8d98972bf6a23dc8126ae6
parent4869d835f8fdbc29fbcaae1d888c2561e9165b9c
proper cleanup in iface-file and iface-host-dev
linux_module/iface-file.c
linux_module/iface-host-dev.c