diff --git a/xen/common/Kconfig b/xen/common/Kconfig index ce965fbf17..68132a3a10 100644 --- a/xen/common/Kconfig +++ b/xen/common/Kconfig @@ -241,7 +241,7 @@ config SCHED_NULL choice prompt "Default Scheduler?" - default SCHED_CREDIT_DEFAULT + default SCHED_CREDIT2_DEFAULT config SCHED_CREDIT_DEFAULT bool "Credit Scheduler" if SCHED_CREDIT @@ -262,7 +262,7 @@ config SCHED_DEFAULT default "rtds" if SCHED_RTDS_DEFAULT default "arinc653" if SCHED_ARINC653_DEFAULT default "null" if SCHED_NULL_DEFAULT - default "credit" + default "credit2" endmenu