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.


added option for secure symbiotic modules to symspy
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 24 Sep 2010 22:10:21 +0000 (17:10 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 24 Sep 2010 22:10:21 +0000 (17:10 -0500)
commitb6f006fca8889a4ea84b4afe46228cc00bcdbea2
tree710dd4be09b9905325aea0643e30fd1c70d83cda
parentc24149d66c28f7a7e073443d5755be6fbad44d41
added option for secure symbiotic modules to symspy
palacios/include/palacios/vmm_symspy.h