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.


Start at allowing setting the vmx schedule timeout
authorPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 17 Jan 2012 17:53:22 +0000 (10:53 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 17 Jan 2012 17:53:22 +0000 (10:53 -0700)
commit635a17215f8c66fa9ef54a7bb2cef6c709ddf523
tree86f1111c075a2611610bbccf84f5fb4bcf7037ff
parent8e158e5f8b789a55de714b6c888270389126c5b6
Start at allowing setting the vmx schedule timeout
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c