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.


Still working on timer updates, heading towards being able to have a CPU
authorPatrick G. Bridges <pgbridg@sandia.gov>
Mon, 18 Oct 2010 22:26:50 +0000 (16:26 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Mon, 18 Oct 2010 22:26:50 +0000 (16:26 -0600)
commit69982930e8a2c0e44aeae5a95497fb896dad3da3
treeef2195e256c0bd84861ce0551d2de8f217712c8c
parent40e3dd3f222e2638dbdae0eadaf505e1f7a82ecc
Still working on timer updates, heading towards being able to have a CPU
running at a different frequency than a host CPU.
Kconfig
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_handler.c