2017-08-28 11:41:32 -04:00
|
|
|
menu "PThreads"
|
|
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_TASK_PRIO_DEFAULT
|
2019-01-25 11:10:53 -05:00
|
|
|
int "Default task priority"
|
|
|
|
|
range 0 255
|
|
|
|
|
default 5
|
|
|
|
|
help
|
|
|
|
|
Priority used to create new tasks with default pthread parameters.
|
|
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_TASK_STACK_SIZE_DEFAULT
|
2019-01-25 11:10:53 -05:00
|
|
|
int "Default task stack size"
|
|
|
|
|
default 3072
|
|
|
|
|
help
|
|
|
|
|
Stack size used to create new tasks with default pthread parameters.
|
|
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_STACK_MIN
|
2019-01-25 11:10:53 -05:00
|
|
|
int "Minimum allowed pthread stack size"
|
|
|
|
|
default 768
|
|
|
|
|
help
|
|
|
|
|
Minimum allowed pthread stack size set in attributes passed to pthread_create
|
|
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
choice PTHREAD_TASK_CORE_DEFAULT
|
2019-01-25 11:10:53 -05:00
|
|
|
bool "Default pthread core affinity"
|
2019-07-28 05:22:51 -04:00
|
|
|
default PTHREAD_DEFAULT_CORE_NO_AFFINITY
|
2019-01-25 11:10:53 -05:00
|
|
|
depends on !FREERTOS_UNICORE
|
|
|
|
|
help
|
|
|
|
|
The default core to which pthreads are pinned.
|
|
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_DEFAULT_CORE_NO_AFFINITY
|
2019-01-25 11:10:53 -05:00
|
|
|
bool "No affinity"
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_DEFAULT_CORE_0
|
2019-01-25 11:10:53 -05:00
|
|
|
bool "Core 0"
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_DEFAULT_CORE_1
|
2019-01-25 11:10:53 -05:00
|
|
|
bool "Core 1"
|
|
|
|
|
endchoice
|
|
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_TASK_CORE_DEFAULT
|
2019-01-25 11:10:53 -05:00
|
|
|
int
|
2019-07-28 05:22:51 -04:00
|
|
|
default -1 if PTHREAD_DEFAULT_CORE_NO_AFFINITY || FREERTOS_UNICORE
|
|
|
|
|
default 0 if PTHREAD_DEFAULT_CORE_0
|
|
|
|
|
default 1 if PTHREAD_DEFAULT_CORE_1
|
2019-01-25 11:10:53 -05:00
|
|
|
|
2019-07-28 05:22:51 -04:00
|
|
|
config PTHREAD_TASK_NAME_DEFAULT
|
2019-01-25 11:10:53 -05:00
|
|
|
string "Default name of pthreads"
|
|
|
|
|
default "pthread"
|
|
|
|
|
help
|
|
|
|
|
The default name of pthreads.
|
2018-11-28 14:40:32 -05:00
|
|
|
|
2017-08-28 11:41:32 -04:00
|
|
|
endmenu
|
