33 lines
1.2 KiB
Diff
33 lines
1.2 KiB
Diff
|
# Commit 9dec2c47406f4ef31711656722f5f70d758d6160
|
||
|
# Date 2016-06-17 15:08:08 +0100
|
||
|
# Author Dario Faggioli <dario.faggioli@citrix.com>
|
||
|
# Committer George Dunlap <george.dunlap@citrix.com>
|
||
|
xen: sched: use default scheduler upon an invalid "sched="
|
||
|
|
||
|
instead of just the first scheduler we find in the array.
|
||
|
|
||
|
In fact, right now, if someone makes a typo when passing
|
||
|
the "sched=" command line option to Xen, we (with all
|
||
|
schedulers configured in) pick ARINC653, which is most
|
||
|
likely not what one would expect.
|
||
|
|
||
|
Go for the default scheduler instead.
|
||
|
|
||
|
Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
|
||
|
Acked-by: George Dunlap <george.dunlap@citrix.com>
|
||
|
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
|
||
|
Reviewed-By: Jonathan Creekmore <jonathan.creekmore@gmail.com>
|
||
|
|
||
|
--- a/xen/common/schedule.c
|
||
|
+++ b/xen/common/schedule.c
|
||
|
@@ -1625,7 +1625,8 @@ void __init scheduler_init(void)
|
||
|
{
|
||
|
printk("Could not find scheduler: %s\n", opt_sched);
|
||
|
for ( i = 0; i < NUM_SCHEDULERS; i++ )
|
||
|
- if ( schedulers[i] )
|
||
|
+ if ( schedulers[i] &&
|
||
|
+ !strcmp(schedulers[i]->opt_name, CONFIG_SCHED_DEFAULT) )
|
||
|
{
|
||
|
ops = *schedulers[i];
|
||
|
break;
|