Skip to content
Permalink
Browse files

kernel: increase workq sizes if COVERAGE=y

The defaults are too small if coverage is enabled.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
  • Loading branch information...
andrewboie authored and nashif committed May 1, 2019
1 parent 1d4cc15 commit afda764ee6278fbf718f4452f3f452a011d5ec3b
Showing with 2 additions and 0 deletions.
  1. +2 −0 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

0 comments on commit afda764

Please sign in to comment.
You can’t perform that action at this time.