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.


Cleanup of time handling code
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 9 Jun 2011 16:50:28 +0000 (10:50 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 9 Jun 2011 16:50:28 +0000 (10:50 -0600)
commit3676fa947d261206ceff968e4f6b5956900ed277
tree99e8a8eca48e23a201d13c2e8103eb2fe78a37ab
parentee05d4a828862fb4e79616585c15be0aee11ea50
Cleanup of time handling code
palacios/src/devices/8254.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_halt.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c