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.


Cleaned up deinitialization of VMM and free of VMs
[palacios.releases.git] / palacios / src / palacios / vmm_scheduler.c
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...