Kbuild: Sysgen support for NUM_TASK_PRIORITIES

This commit add support to the Kbuild system for the
NUM_TASK_PRIORITIES Kconfig symbol and the corresponding sysgen
parameter.

Change-Id: I6b035437c86d62f72c25d696d18182a7b0448e8f
Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com>

arch/arm/configs/micro_fsl_frdm_k64f_defconfig

@@ -34,6 +34,7 @@ CONFIG_PRIORITY_CEILING=0
 CONFIG_COMMAND_STACK_SIZE=64
 CONFIG_NUM_COMMAND_PACKETS=16
 CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_NUM_TASK_PRIORITIES=16
 CONFIG_API_MEMMAP=y
 CONFIG_API_MEMPOOL=y
 CONFIG_API_TASKIRQ=y

arch/arm/configs/micro_ti_lm3s6965_defconfig

@@ -34,6 +34,7 @@ CONFIG_PRIORITY_CEILING=0
 CONFIG_COMMAND_STACK_SIZE=64
 CONFIG_NUM_COMMAND_PACKETS=16
 CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_NUM_TASK_PRIORITIES=16
 CONFIG_API_MEMMAP=y
 CONFIG_API_MEMPOOL=y
 CONFIG_API_TASKIRQ=y

arch/arm/defconfig

@@ -34,6 +34,7 @@ CONFIG_PRIORITY_CEILING=0
 CONFIG_COMMAND_STACK_SIZE=64
 CONFIG_NUM_COMMAND_PACKETS=16
 CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_NUM_TASK_PRIORITIES=16
 CONFIG_API_MEMMAP=y
 CONFIG_API_MEMPOOL=y
 CONFIG_API_TASKIRQ=y

arch/x86/configs/micro_generic_pc_defconfig

@@ -40,6 +40,7 @@ CONFIG_PRIORITY_CEILING=0
 CONFIG_COMMAND_STACK_SIZE=64
 CONFIG_NUM_COMMAND_PACKETS=16
 CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_NUM_TASK_PRIORITIES=16
 CONFIG_API_MEMMAP=y
 CONFIG_API_MEMPOOL=y
 CONFIG_API_TASKIRQ=y

arch/x86/configs/micro_quark_defconfig

@@ -40,6 +40,7 @@ CONFIG_PRIORITY_CEILING=0
 CONFIG_COMMAND_STACK_SIZE=64
 CONFIG_NUM_COMMAND_PACKETS=16
 CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_NUM_TASK_PRIORITIES=16
 CONFIG_API_MEMMAP=y
 CONFIG_API_MEMPOOL=y
 CONFIG_API_TASKIRQ=y

arch/x86/defconfig

@@ -40,6 +40,7 @@ CONFIG_PRIORITY_CEILING=0
 CONFIG_COMMAND_STACK_SIZE=64
 CONFIG_NUM_COMMAND_PACKETS=16
 CONFIG_NUM_TIMER_PACKETS=10
+CONFIG_NUM_TASK_PRIORITIES=16
 CONFIG_API_MEMMAP=y
 CONFIG_API_MEMPOOL=y
 CONFIG_API_TASKIRQ=y

kernel/microkernel/core/Kconfig

@@ -72,4 +72,17 @@ config NUM_TIMER_PACKETS
 	help
 	This option specifies the number of timer packets to create. Each
 	explicit and implicit timer usage consumes one timer packet.
+
+config  NUM_TASK_PRIORITIES
+	int
+	prompt "Number of task priorities"
+	default 16
+	range 1 256
+	depends on MICROKERNEL
+	help
+	This option specifies the number of task priorities supported by the
+	task scheduler. Specifying "N" provides support for task priorities
+	ranging from 0 (highest) through N-2; task priority N-1 (lowest) is
+	reserved for the kernel's idle task.
+
 endmenu

scripts/Makefile.preparch

@@ -7,10 +7,9 @@ endif
 define filechk_prj.vpf
 	(echo "% WARNING. THIS FILE IS AUTO-GENERATED. DO NOT MODIFY!"; \
 	echo; \
-	echo "% NODE NAME         NLINAME      NDPACKS NCPACKS NTIMERS KSTACK"; \
+	echo "% CONFIG NUM_COMMAND_PACKETS NUM_TIMER_PACKETS NUM_TASK_PRIORITIES"; \
-	echo "% CONFIG NUM_COMMAND_PACKETS NUM_TIMER_PACKETS"; \
 	echo "% ============================================================="; \
-	echo "  CONFIG ${CONFIG_NUM_COMMAND_PACKETS}                  ${CONFIG_NUM_TIMER_PACKETS}"; \
+	echo "  CONFIG ${CONFIG_NUM_COMMAND_PACKETS}             ${CONFIG_NUM_TIMER_PACKETS}               ${CONFIG_NUM_TASK_PRIORITIES}"; \
 	echo; \
 	echo "% TASKGROUP NAME";\
 	echo "% ==============";\