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.


cleaned up handler code
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 11 Aug 2008 17:55:23 +0000 (17:55 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 11 Aug 2008 17:55:23 +0000 (17:55 +0000)
commit191587141ec414547ca95a7eb134a8cbb1b2a292
treec56a044b8c1a6df66b665b794dcf2cca91ab6ea0
parentd822d32e7b44450f3cf3a17b3061dfb0bbb3cfa0
cleaned up handler code
palacios/src/palacios/svm_handler.c