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.


large change to break apart the guest operation mode parameters
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 30 Jun 2008 23:09:14 +0000 (23:09 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 30 Jun 2008 23:09:14 +0000 (23:09 +0000)
commit41d6dcb0a638ebdc01b89a9edf427c75975b2003
treeca225903eccbc76705d29e79b8addfd15d5e404a
parent3c36ed92e446eabd03d2ab533eece3d227601e8c
large change to break apart the guest operation mode parameters
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/geekos/vm.c
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_shadow_paging.c