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.


Fixes to time code to allow virtualization to hide costs of running in the
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 17 Feb 2011 18:51:32 +0000 (12:51 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 17 Feb 2011 18:51:32 +0000 (12:51 -0600)
commit89034c39d340e3f6b24a8288ceeb506ddbdf7057
tree20b9b99ef035eb944d25ec9490a066d0c0398708
parent22dbf90548cb2ea56a9057a706e3da411dc1b57b
Fixes to time code to allow virtualization to hide costs of running in the
VM and attempt to hide hte costs of entering the VM.
Kconfig
palacios/include/palacios/vmm_time.h
palacios/src/devices/8254.c
palacios/src/devices/Kconfig
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c
test/geekos_test_vm/build/depend.mak [deleted file]