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.


renamed guest cpu/mem mode functions
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Apr 2009 03:41:53 +0000 (22:41 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Apr 2009 03:41:53 +0000 (22:41 -0500)
commit39849abeb743c4e6b669a790c307979fa8d51884
tree4e2c132c621f6a994d2b26303ece925356cf17b5
parent57de08049d9a345445d26741c5ee0f7f9e5c2fcc
renamed guest cpu/mem mode functions
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_xed.c