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.


Configuration of global performance parameters
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 9 Aug 2012 18:44:03 +0000 (13:44 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 9 Aug 2012 18:54:41 +0000 (13:54 -0500)
commita0bff8bd6b7f6dcfc840b41aa428904f251fba7e
tree8af6f8b87de2e97dfde62af9d7e2f92a50e8cde9
parent7ca1f3f6bcb065c7c28b98f049d4abbca21a7bc1
Configuration of global performance parameters
Integration of yielding parameters into this framework
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_perftune.h [new file with mode: 0644]
palacios/src/palacios/Makefile
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_perftune.c [new file with mode: 0644]