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 testing of new time handling on VMX, initial implementation of new
authorPatrick G. Bridges <pgbridg@sandia.gov>
Mon, 20 Sep 2010 21:56:03 +0000 (15:56 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Mon, 20 Sep 2010 21:56:03 +0000 (15:56 -0600)
commit7711c884eae1625fdf136e6442c270d4992e22b4
treefcd0b0c88c81b9da918d45e3bb003592b8bec815
parentef944e47f418cfbf344757e3fbab5e40927966fe
Initial testing of new time handling on VMX, initial implementation of new
time handling on SVM.
Kconfig
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_handler.c