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.


debugging tweaks and minor fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 15 Dec 2009 22:01:08 +0000 (16:01 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 15 Dec 2009 22:01:08 +0000 (16:01 -0600)
commitcfcc5717f659b3ed2954f41cf363d3bceae8dc84
tree098859b38c883dd39550a881affdd4f849a345ca
parent5f0b4f8c5f9f53cea37dde072b37d09ba316487d
debugging tweaks and minor fixes
14 files changed:
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmx.h
palacios/src/devices/keyboard.c
palacios/src/devices/sym_swap.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_shadow_paging_32.h
palacios/src/palacios/vmm_sym_iface.c
palacios/src/palacios/vmm_sym_swap.c
palacios/src/palacios/vmm_telemetry.c
palacios/src/palacios/vmx.c