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.


updated to 64 bits based on the wrong f#@$%ing trunk
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 7 Oct 2008 23:22:12 +0000 (18:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 7 Oct 2008 23:22:12 +0000 (18:22 -0500)
commit5db3136d5331c355c188537c68005db8d2cb4eac
treea5971301f176d071a0e24326200a83a8e4a3677e
parent1aaebb897ea68da37b76519f74460808de7b92e6
updated to 64 bits based on the wrong f#@$%ing trunk
18 files changed:
palacios/build/Makefile
palacios/include/devices/ide.h
palacios/include/palacios/vm_guest_mem.h
palacios/include/palacios/vmcb.h
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmm_debug.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_util.h
palacios/include/palacios/vmx.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_debug.c
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_util.c