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.


Fix to the HLT exit handler
authorLei Xia <lxia@northwestern.edu>
Fri, 23 Apr 2010 18:12:07 +0000 (13:12 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 23 Apr 2010 18:12:07 +0000 (13:12 -0500)
commit46113012016d5064ca8617dbb39f04c9763fd911
treea585b162a99a27e37c02102a81e4f0e8946d3beb
parentadda258461ab3c7e92a8c7a028a5672417182b19
Fix to the HLT exit handler
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_halt.c
palacios/src/palacios/vmx.c