From afda764ee6278fbf718f4452f3f452a011d5ec3b Mon Sep 17 00:00:00 2001 From: Andrew Boie Date: Wed, 1 May 2019 14:11:25 -0700 Subject: [PATCH] kernel: increase workq sizes if COVERAGE=y The defaults are too small if coverage is enabled. Signed-off-by: Andrew Boie --- kernel/Kconfig | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kernel/Kconfig b/kernel/Kconfig index 15901baff22..84270647b00 100644 --- a/kernel/Kconfig +++ b/kernel/Kconfig @@ -366,6 +366,7 @@ endmenu menu "Work Queue Options" config SYSTEM_WORKQUEUE_STACK_SIZE int "System workqueue stack size" + default 4096 if COVERAGE default 1024 config SYSTEM_WORKQUEUE_PRIORITY @@ -380,6 +381,7 @@ config SYSTEM_WORKQUEUE_PRIORITY config OFFLOAD_WORKQUEUE_STACK_SIZE int "Workqueue stack size for thread offload requests" + default 4096 if COVERAGE default 1024 config OFFLOAD_WORKQUEUE_PRIORITY