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.


Time configuration parameters added. More time control code prototyped,
authorPatrick G. Bridges <pgbridg@sandia.gov>
Fri, 1 Oct 2010 21:36:23 +0000 (15:36 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Fri, 1 Oct 2010 21:36:23 +0000 (15:36 -0600)
commit40e3dd3f222e2638dbdae0eadaf505e1f7a82ecc
tree2bc9e7cc425926e27530e8da3e4b7951dc85aabd
parentccd9ddb5d9279fe8fcdacfc3bcd466eb3da70791
Time configuration parameters added. More time control code prototyped,
but no robust control in place yet.
Kconfig
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c