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.


Fixups to let us run multiple guests on a single CPU again, and started fixing
authorPatrick G. Bridges <pgbridg@sandia.gov>
Tue, 22 Feb 2011 22:21:23 +0000 (15:21 -0700)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Tue, 22 Feb 2011 22:21:23 +0000 (15:21 -0700)
commitd54fc24e6cfb62cc2fedfb63d3ae68ff636e3a01
tree9cb23db2e2189c62e13f2a948d98b880c967e59a
parenta9cfeadcd23cc6832572e3855e33769fb38ef6ca
Fixups to let us run multiple guests on a single CPU again, and started fixing
some time virtualization issues as well.
Kconfig.stdlibs
palacios/include/palacios/vm_guest.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_symbiotic.c
palacios/src/palacios/vmm_time.c