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.


ported the profiler over to the telemetry interface
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 19:45:42 +0000 (14:45 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 19:45:42 +0000 (14:45 -0500)
commitf3eb8bbb7c58c98b03797f2188e6c1d2a7610c15
treee6462e4bab30c1f1e57045c3290d79910ca8a0bc
parent4f0bb09709fcff0e08aef60c1f0253bbef91f608
ported the profiler over to the telemetry interface
13 files changed:
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/include/palacios/vmm_telemetry.h [moved from palacios/include/palacios/vmm_profiler.h with 53% similarity]
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_profiler.c [deleted file]
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_telemetry.c [new file with mode: 0644]