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.


changed the emulator to use single step break points instead of page insertion
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 4 Aug 2008 20:21:06 +0000 (20:21 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 4 Aug 2008 20:21:06 +0000 (20:21 +0000)
commitc373d9a80b116014c546e7761982fedf7419664b
tree19285614ea49df516bf883a0c82eb473357ec805
parent7e2d888010c6e0fcde47f06008b2c41e4c1b3637
changed the emulator to use single step break points instead of page insertion
can now handle rep instructions
palacios/build/Makefile
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_debug.h
palacios/include/palacios/vmm_emulator.h
palacios/include/palacios/vmm_mem.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_emulator.c