2021-07-21 04:07:53 +00:00
|
|
|
menu "FreeRTOS"
|
|
|
|
|
|
2022-09-06 14:09:23 +00:00
|
|
|
menu "Kernel"
|
|
|
|
|
config FREERTOS_HZ
|
|
|
|
|
int "configTICK_RATE_HZ"
|
|
|
|
|
range 1 1000
|
|
|
|
|
default 1000
|
|
|
|
|
help
|
|
|
|
|
Sets the FreeRTOS tick interrupt frequency in Hz (see configTICK_RATE_HZ documentation for more
|
|
|
|
|
details).
|
|
|
|
|
|
|
|
|
|
config FREERTOS_MAX_TASK_NAME_LEN
|
|
|
|
|
int "configMAX_TASK_NAME_LEN"
|
|
|
|
|
range 1 256
|
|
|
|
|
default 16
|
|
|
|
|
help
|
|
|
|
|
Sets the maximum number of characters for task names (see configMAX_TASK_NAME_LEN documentation for
|
|
|
|
|
more details).
|
|
|
|
|
|
|
|
|
|
Note: For most uses, the default of 16 characters is sufficient.
|
|
|
|
|
endmenu
|
2021-07-21 04:07:53 +00:00
|
|
|
endmenu
|
