static inline void print_scheduler_version(void)
{
-- printk(KERN_INFO"BFS CPU scheduler v0.350 by Con Kolivas ported by ToAsTcfh.\n");
+- printk(KERN_INFO"BFS CPU scheduler v0.350 by Con Kolivas.\n");
+ printk(KERN_INFO"BFS CPU scheduler v0.357 by Con Kolivas.\n");
}