debuggers.hg

changeset 20990:cbb147631e8c

If the 'sched' parameter is unrecognized, choose the first scheduler

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Mon Feb 15 17:49:14 2010 +0000 (2010-02-15)
parents 560277d2fd20
children 3a0bd7ca6b11
files xen/common/schedule.c
line diff
     1.1 --- a/xen/common/schedule.c	Mon Feb 15 08:19:07 2010 +0000
     1.2 +++ b/xen/common/schedule.c	Mon Feb 15 17:49:14 2010 +0000
     1.3 @@ -929,7 +929,10 @@ void __init scheduler_init(void)
     1.4      }
     1.5      
     1.6      if ( schedulers[i] == NULL )
     1.7 +    {
     1.8          printk("Could not find scheduler: %s\n", opt_sched);
     1.9 +        ops = *schedulers[0];
    1.10 +    }
    1.11  
    1.12      printk("Using scheduler: %s (%s)\n", ops.name, ops.opt_name);
    1.13      SCHED_OP(init);