--- init/main.c

+++ init/main.c

@@ -806,6 +806,8 @@ static noinline int init_post(void)

system_state = SYSTEM_RUNNING;

numa_default_policy();

+ print_scheduler_version();

+

if (sys_open((const char __user *) "/dev/console", O_RDWR, 0) < 0)

printk(KERN_WARNING "Warning: unable to open an initial console.\n");