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 to start proper time dilation mechanisms
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 9 Feb 2012 20:44:53 +0000 (13:44 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 9 Feb 2012 20:44:53 +0000 (13:44 -0700)
commitff3728843f8471d39cf2ea3511267feb83f14678
tree6e4b936d9f2fb7d289927e9a952ab355512d20c5
parent3b1580ef455e63fdeb07d177eecc0055e7429b4f
Cleanup to start proper time dilation mechanisms
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_time.h
palacios/src/palacios/vmm_time.c