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.


cleanup of debugging functions
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 05:07:15 +0000 (00:07 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 05:07:15 +0000 (00:07 -0500)
commit4f0bb09709fcff0e08aef60c1f0253bbef91f608
tree0b31283629e6ce1f2d699f21381e668b1d3d1179
parent316c417125ed34aaa60f9fc5486a6d8dec4fb361
cleanup of debugging functions
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_util.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_socket.c
palacios/src/palacios/vmm_util.c
palacios/src/palacios/vmx.c