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.


some fixes for profiling
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jan 2009 22:10:49 +0000 (16:10 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jan 2009 22:10:49 +0000 (16:10 -0600)
commit2bfd0e9c8aa5d520e4207fd6cf50a5f50993e3ca
tree590f9815df2db5c5113d615918f37ba2d46c37a7
parent362391accc505b29d938e9d0a21bf6a28a8cee34
some fixes for profiling
palacios/include/palacios/svm_handler.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_profiler.c