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 and sanity-checking of divide-by-zero and floating point use bugs (Coverity...
[palacios.git] / palacios / src / palacios / vmm_scheduler.c
2015-09-01 Peter Dinda Cleanup and sanity-checking of divide-by-zero and float...
2013-10-04 Peter Dinda Clean up hashtable frees to fix rmmod crash on redhat
2013-10-01 Patrick G. Bridges EDF scheduler bugfixes from Oscar
2013-09-19 Peter Dinda Cleaned up deinitialization of VMM and free of VMs
2013-09-15 Patrick Bridges Basic host scheduler bug fix
2013-05-06 Oscar Mondragon Add CPU mapper extension and fix to scheduler for time...
2013-02-25 Oscar null check in host_sched_yield
2013-02-24 Peter Dinda Correct scheduler startup when no option given
2013-02-21 Patrick G. Bridges Use passed in options to set scheduler
2013-02-11 Oscar Mondragon remove extraneous dos linefeeds from scheduling files
2013-02-11 Oscar Mondragon Update of scheduling infrastructure and newest version...
2013-02-11 Patrick G. Bridges Copyright header corrections to scheduler interface
2013-02-06 Oscar Mondragon Initial commit of new scheduling infrastructure. The...