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.


Commented test code for exec hooking, etc
authorKyle Hale <kh@u.northwestern.edu>
Fri, 17 Jun 2011 21:18:21 +0000 (16:18 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Jun 2011 21:20:39 +0000 (16:20 -0500)
commit1f9fa9cd9662a600f49a3b12fcc02fd2ffca93c8
tree90a61fd72a1215fe56c2b6d809634cfa541ee114
parent8cdad627c5eb70d66e5c177f87e085992afb85cc
Commented test code for exec hooking, etc
palacios/src/palacios/vm_guest.c