--- kernel/sched.c

+++ kernel/sched.c

@@ -1,3 +1,6 @@

+#ifdef CONFIG_SCHED_BFS

+#include "sched_bfs.c"

+#else

/*

* kernel/sched.c

*

@@ -11135,3 +11138,4 @@ void synchronize_sched_expedited(void)

EXPORT_SYMBOL_GPL(synchronize_sched_expedited);

#endif /* #else #ifndef CONFIG_SMP */

+#endif /* CONFIG_SCHED_BFS */