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 extension framework with initial inspector extension
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 19 Apr 2011 22:02:17 +0000 (17:02 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 19 Apr 2011 22:02:17 +0000 (17:02 -0500)
commit55a97f129cf51e899308ba2d6070c77e4901559e
tree547b3c122644733668fc82c30ce91f7339c433c0
parent49e0078785a49d62d64100f5fa44f3e41d2866f7
added extension framework with initial inspector extension
14 files changed:
Kconfig
Makefile
linux_module/palacios-debugfs.c
palacios/include/interfaces/inspector.h [moved from palacios/include/palacios/vmm_inspector.h with 97% similarity]
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_extensions.h
palacios/src/extensions/Kconfig [new file with mode: 0644]
palacios/src/extensions/Makefile [new file with mode: 0644]
palacios/src/extensions/ext_inspector.c [moved from palacios/src/palacios/vmm_inspector.c with 81% similarity]
palacios/src/extensions/ext_vtime.c [new file with mode: 0644]
palacios/src/extensions/ext_vtsc.c [new file with mode: 0644]
palacios/src/palacios/Makefile
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_extensions.c