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.


PMU-based telemetry extension to monitor guest and host behavior
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Feb 2013 02:14:28 +0000 (20:14 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 21 Feb 2013 22:41:01 +0000 (16:41 -0600)
commitd26b8881ecd0481b7fb5e24006fe2d84540ed3c1
tree2007db31e92b4886d07e95b87de99e2ae820d57b
parent17556749e79560e7254e5f40155926ce5cce5cab
PMU-based telemetry extension to monitor guest and host behavior
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_pmu_telemetry.h [new file with mode: 0644]
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_pmu_telemetry.c [new file with mode: 0644]
palacios/src/palacios/vmx.c