Add scheduler option to command-line and to config file

fvpolpeta / devide

Automatically exported from code.google.com/p/devide

BSD 3-Clause "New" or "Revised" License

2 stars 1 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

There should be a scheduler option to switch schedulers, at the moment
between hybrid and event(-driven).  Hybrid scheduler is the default.

Original issue reported on code.google.com by cpbotha on 27 Feb 2008 at 3:54

GoogleCodeExporter commented 9 years ago

Fixed in r2781.

Original comment by cpbotha on 27 Feb 2008 at 4:08