Fixed rbed scheduler code to still work in schedsim.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 21 Nov 2014 17:55:27 +0000 (18:55 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 21 Nov 2014 17:55:33 +0000 (18:55 +0100)
commit540bd0510f99b3c6db930d0cb595a5d53c591a84
treed1e879481fd24df866f8600aa5c0270b11c0bfe0
parenta5ea42605272ec6b67b7085d5bd72d25fbc244f8
Fixed rbed scheduler code to still work in schedsim.
kernel/schedule_rbed.c
tools/schedsim/simulator.c