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.


debugging fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 17 Mar 2009 20:42:02 +0000 (15:42 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 17 Mar 2009 20:42:02 +0000 (15:42 -0500)
commita6225e5c3b1d99f331f123de87e5f677f402e413
treed3b1f37e15377bece28ce7aa802c36d904e7a575
parentbc7e32ac62565b9f2aca07acdfa430aa3d444e8c
debugging fixes
palacios/src/palacios/svm_handler.c