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.


can now boot linux (slowly) with EPT enabled
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 29 Apr 2011 19:22:04 +0000 (14:22 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 29 Apr 2011 19:22:04 +0000 (14:22 -0500)
commit40d79cccadcdeb5b4744bf965030b40b0d5cb1fb
tree53ff8bbd9b07e87c1c25cfde08eedf9f8db389ea
parentfcc9962fe5d3b877f8f25de8745d0d4d1eaf394e
can now boot linux (slowly) with EPT enabled
palacios/include/palacios/vmx_assist.h
palacios/src/palacios/vmm_config_class.h
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_assist.c
palacios/src/palacios/vmx_ctrl_regs.c