On 17/06/16 11:31, Dario Faggioli wrote: > 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.faggi...@citrix.com>
Acked-by: George Dunlap <george.dun...@citrix.com> I'll check it in here shortly. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
