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.


rename exit codes to avoid namespace collisions
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 26 Apr 2012 02:29:38 +0000 (22:29 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 26 Apr 2012 21:01:33 +0000 (17:01 -0400)
commit164bd99da7605dfb5f8a56338e54c924b2a583a6
tree5862a5dcd5a8079e623782e997b13027f2f4fcb4
parenta686a57429dcd9fa2f701228227dadcd096df8ed
rename exit codes to avoid namespace collisions
palacios/include/palacios/svm_handler.h
palacios/include/palacios/vmx_handler.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_telemetry.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_handler.c