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.


revert timer modifications to fix guest deadlocks
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 13 Oct 2011 15:39:46 +0000 (11:39 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 13 Oct 2011 15:39:46 +0000 (11:39 -0400)
commit9e26adea080d2f014aeb391b1b52ce94f9acec45
tree8698e973dc0883cf48e53e1d327b2d2fb9e0905f
parent83942e281e4e17d6eb296d343094578dc50b3b0b
revert timer modifications to fix guest deadlocks
palacios/src/devices/apic.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c