Just checking that I'm not hallucinating and that sched_ule based kernels cannot be compiled in any configuration at the moment.. (I see compile and link failures of different types depending on what options are configured (e.g. KSE and !KSE))