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.


added profiling support
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jan 2009 04:57:09 +0000 (22:57 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jan 2009 04:57:09 +0000 (22:57 -0600)
commit362391accc505b29d938e9d0a21bf6a28a8cee34
treeb619861de1a49fe341c81e82cfc295ed7650d558
parent24178516ccd9f46718b687d4c630415eb63ff595
added profiling support
and also added license to some files
16 files changed:
geekos/src/geekos/vm.c
palacios/build/Makefile
palacios/include/palacios/svm_handler.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_hashtable.h
palacios/include/palacios/vmm_instr_emulator.h
palacios/include/palacios/vmm_profiler.h [new file with mode: 0644]
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_hashtable.c
palacios/src/palacios/vmm_paging_debug.h
palacios/src/palacios/vmm_profiler.c [new file with mode: 0644]
palacios/src/palacios/vmm_shadow_paging.c