scheduler: make EDF stack size configurable

Instead of hard-coding EDF scheduler work queue thread stack size,
add a Kconfig option for it.

Signed-off-by: Guennadi Liakhovetski <guennadi.liakhovetski@linux.intel.com>

Author: lyakh

zephyr/Kconfig

@@ -89,4 +89,11 @@ config VIRTUAL_HEAP
 	help
 	  Enabling this option will use the virtual memory heap allocator to allocate buffers.
 	  It is based on a set of buffers whose size is predetermined.
+
+config STACK_SIZE_EDF
+	int "EDF scheduler stack size"
+	default 8192
+	help
+	  EDF scheduler work-queue thread stack size. Keep a power of 2.
+
 endif

zephyr/edf_schedule.c

@@ -14,7 +14,7 @@
 #include <zephyr/sys_clock.h>
 
 static struct k_work_q edf_workq;
-static K_THREAD_STACK_DEFINE(edf_workq_stack, 8192);
+static K_THREAD_STACK_DEFINE(edf_workq_stack, CONFIG_STACK_SIZE_EDF);
 
 /*
  * since only IPC is using the EDF scheduler - we schedule the work in the