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.


added support for Intel EPT with(?) and without unrestricted guest support
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 29 Apr 2011 00:10:22 +0000 (19:10 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 29 Apr 2011 00:10:22 +0000 (19:10 -0500)
commitfcc9962fe5d3b877f8f25de8745d0d4d1eaf394e
tree344b762e929b7ec69422be910a1434f85baea26b
parent3eca92952c19aa937b39d7f147b4950bb5de24ce
added support for Intel EPT with(?) and without unrestricted guest support
20 files changed:
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_assist.h
palacios/include/palacios/vmx_ept.h
palacios/include/palacios/vmx_handler.h
palacios/include/palacios/vmx_hw_info.h
palacios/src/palacios/Makefile
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_paging_debug.h
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_assist.c
palacios/src/palacios/vmx_ept.c
palacios/src/palacios/vmx_handler.c
palacios/src/palacios/vmx_hw_info.c