Fixup of some headers.
[barrelfish] / kernel / schedule_rbed.c
2017-09-26 Adam TurowskiFixup of some headers.
2016-12-13 David CockComments in the scheduler interface, from code walkthrough.
2016-11-28 Adam Turowskisystime: introducing system time based on time stamp...
2016-10-31 Adam Turowskinetwork: replacing the continuation manager with simple...
2014-11-21 Simon GerberFixed rbed scheduler code to still work in schedsim.
2014-11-05 Gerd ZellwegerIntegrating coreboot for 32bit.
2014-10-31 Gerd ZellwegerRemove print statement in rbed.
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberVarious debugging and disabled mdb sanity checks.
2014-10-14 Simon GerberRenamed kernel global kcb to kcb_current. Fixed wakeup...
2014-10-14 Simon GerberRemoved statically cached copies of scheduler data...
2014-10-14 Simon GerberAdded code to make it possible to switch between kernel...
2014-10-14 Simon GerberRemoved lastdisp and kernel_now from kcb; call schedule...
2014-10-14 Gerd ZellwegerDebug output.
2014-10-14 Simon GerberMore verbose debug output.
2014-10-14 Simon GerberAdded more scheduler state to kcb.
2014-10-14 Simon GerberAdded kernel_now to kcb and fixed restoring of schedule...
2014-10-14 Simon GerberImplemented mdb restore iff valid kcb available. Moved...
2013-10-31 pravin@inf.ethz.chPartially working version of the modified network stack.
2013-03-19 Kornilios KourtisNew tracing infrastructure
2011-12-28 Zeus Gómez MarmolejoBoots correctly for both freec and newlib
2011-11-09 Kornilios Kourtisschedule_rbed.c: move include of timer.h so that simula... release2011-11-10
2011-11-09 Kornilios Kourtisadd support for one-shot timers
2011-11-09 Kornilios KourtisAdd some scheduling related comments
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.