CONFIG_MICROKERNEL_SERVER_PRIORITY

Priority of the microkernel server fiber that performs kernel requests and task scheduling assignments.

Symbol:

MICROKERNEL_SERVER_PRIORITY
Type:

int
Value:

“0”
User value:

(no user value)
Visibility:

“y”
Is choice item:

false
Is defined:

true
Is from env.:

false
Is special:

false
Prompts:
  • “Priority of the kernel service fiber” if MICROKERNEL (value: “y”)
Default values:
  • 0 (value: “n”)
  • Condition: MICROKERNEL (value: “y”)
Selects:

(no selects)
Reverse (select-related) dependencies:
 

(no reverse dependencies)
Additional dependencies from enclosing menus and ifs:
 

MICROKERNEL (value: “y”)
Locations:
  • ../kernel/microkernel/Kconfig:31