diff --git a/configs/micropendous3/ostest/defconfig b/configs/micropendous3/ostest/defconfig index ffd9852d49a..de3a7328ba3 100644 --- a/configs/micropendous3/ostest/defconfig +++ b/configs/micropendous3/ostest/defconfig @@ -262,6 +262,7 @@ CONFIG_HAVE_LIBM=n CONFIG_DEBUG=n CONFIG_DEBUG_VERBOSE=n CONFIG_DEBUG_SYMBOLS=n +CONFIG_DEBUG_SCHED=n CONFIG_MM_REGIONS=1 CONFIG_ARCH_LOWPUTC=y CONFIG_RR_INTERVAL=200