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.


Added initialization of yield_start_cycle to start_time()
authorPatrick G. Bridges <pgbridg@sandia.gov>
Fri, 1 Oct 2010 18:32:27 +0000 (12:32 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Fri, 1 Oct 2010 18:32:27 +0000 (12:32 -0600)
commitccd9ddb5d9279fe8fcdacfc3bcd466eb3da70791
tree6c7a35faa64419e0c7cb968cf3a6e6d653c4fc94
parentb69ebe0340a6d0256c5e44a156baaf5a2e42f5ae
Added initialization of yield_start_cycle to start_time()
palacios/src/palacios/vmm_time.c