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.


user space VM inspection works for GPRs, RIP, CTRL REGS
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 8 Apr 2011 20:01:54 +0000 (15:01 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 8 Apr 2011 20:01:54 +0000 (15:01 -0500)
commit467878dcf7ccb6248c83483e01360b0ffdc83dc0
tree90ecba76c08bff012f89a61456e7f5b914dff146
parent374b2d6d22a0e0dc6ed8d3d628e635ab935072e0
user space VM inspection works for GPRs, RIP, CTRL REGS
linux_module/Makefile
linux_module/palacios-dev.c
linux_module/palacios-vm.c
palacios/include/palacios/vmm_inspector.h
palacios/include/palacios/vmm_multitree.h
palacios/src/palacios/vmm_inspector.c
palacios/src/palacios/vmm_multitree.c