2017-08-28 15:41:32 +00: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 08:43:32 +00:00
|
|
|
default 3072
|
2017-08-28 15:41:32 +00:00
|
|
|
help
|
|
|
|
|
Stack size used to create new tasks with default pthread parameters.
|
|
|
|
|
|
|
|
|
|
endmenu
|
