diff -r 275e563ef9b0 xen/common/schedule.c
--- a/xen/common/schedule.c	Mon Feb 15 14:03:57 2010 +0000
+++ b/xen/common/schedule.c	Mon Feb 15 14:04:38 2010 +0000
@@ -932,7 +932,10 @@
     }
     
     if ( schedulers[i] == NULL )
+    {
         printk("Could not find scheduler: %s\n", opt_sched);
+        ops = *schedulers[0];
+    }
 
     printk("Using scheduler: %s (%s)\n", ops.name, ops.opt_name);
     SCHED_OP(init);