K 10 svn:author V 5 luigi K 8 svn:date V 27 2009-01-14T17:25:28.220873Z K 7 svn:log V 118 revert the changes for the in-driver scheduler. They are not used now and interfere with debugging of the other code. END