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 / extensions / ext_sched_edf.c
2015-09-01 Peter Dinda Cleanup and sanity-checking of divide-by-zero and float...
2015-07-01 Peter Dinda Cleanup based on cppcheck pass (Devices and Extensions)
2013-10-01 Patrick G. Bridges EDF scheduler bugfixes from Oscar
2013-05-06 Oscar Mondragon Add CPU mapper extension and fix to scheduler for time...
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...