2017-08-28 11:41:32 -04:00
|
|
|
menu "PThreads"
|
|
|
|
|
|
|
|
config ESP32_PTHREAD_TASK_PRIO_DEFAULT
|
|
|
|
int "Default task priority"
|
|
|
|
range 0 255
|
|
|
|
default 5
|
|
|
|
help
|
|
|
|
Priority used to create new tasks with default pthread parameters.
|
|
|
|
|
|
|
|
config ESP32_PTHREAD_TASK_STACK_SIZE_DEFAULT
|
|
|
|
int "Default task stack size"
|
2017-11-14 03:43:32 -05:00
|
|
|
default 3072
|
2017-08-28 11:41:32 -04:00
|
|
|
help
|
|
|
|
Stack size used to create new tasks with default pthread parameters.
|
|
|
|
|
2018-08-10 06:52:27 -04:00
|
|
|
config PTHREAD_STACK_MIN
|
|
|
|
int "Minimum allowed pthread stack size"
|
|
|
|
default 768
|
|
|
|
help
|
|
|
|
Minimum allowed pthread stack size set in attributes passed to pthread_create
|
|
|
|
|
2017-08-28 11:41:32 -04:00
|
|
|
endmenu
|