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.


stop and free all VMs on Linux module exit
authorKyle Hale <kh@u.northwestern.edu>
Thu, 19 Jul 2012 23:56:37 +0000 (18:56 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 20 Jul 2012 18:17:47 +0000 (13:17 -0500)
commit8a2c4643a2144ef123cabfeb94c95e835a1c3600
tree6d13b4db21ae769bb98c6abab99029f2679a655a
parent552fecf4926019f08e3b20f66e53917527c40e04
stop and free all VMs on Linux module exit
linux_module/main.c