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.


initial simulation functionality
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 10 Feb 2012 22:38:57 +0000 (17:38 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 10 Feb 2012 23:07:50 +0000 (18:07 -0500)
commit92082ed86bcfd503e28dbedb24c79c3dc797dc87
tree41b4edf37fb2101f3789cc6549ad7cad554af2c1
parentff3728843f8471d39cf2ea3511267feb83f14678
initial simulation functionality
19 files changed:
linux_module/ioctls.txt
linux_module/palacios.h
linux_module/vm.c
linux_usr/Makefile
linux_usr/v3_simulate.c [new file with mode: 0644]
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_barrier.h
palacios/include/palacios/vmm_time.h
palacios/include/palacios/vmm_timeout.h [new file with mode: 0644]
palacios/include/palacios/vmm_types.h
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_barrier.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmm_timeout.c [new file with mode: 0644]
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_handler.c