| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| #ifndef OPENTITAN_SW_DEVICE_LIB_TESTING_TEST_FRAMEWORK_FREERTOSCONFIG_H_ |
| #define OPENTITAN_SW_DEVICE_LIB_TESTING_TEST_FRAMEWORK_FREERTOSCONFIG_H_ |
| |
| #include "sw/device/lib/arch/device.h" |
| |
| // These macros configure FreeRTOS. A description of each macro can be found |
| // here: https://www.freertos.org/a00110.html |
| |
| // NOTE: the macro names below do NOT, and cannot, conform to the style |
| // guide, since they are specific to FreeRTOS. |
| |
| // Main FreeRTOS configs. |
| #define configUSE_PREEMPTION 1 |
| #define configUSE_IDLE_HOOK 0 |
| #define configUSE_TICK_HOOK 0 |
| #define configTICK_RATE_HZ ((TickType_t)5) |
| #define configMAX_PRIORITIES 5 |
| #define configMINIMAL_STACK_SIZE ((unsigned short)512) |
| // TODO: would be better if this was computed based on macros in the |
| // autogenerated toplevel header and/or the values defined the linker script. |
| // Setting this to 0x15000u for now. need a way to import this from |
| #define configTOTAL_HEAP_SIZE ((size_t)0x15000u) |
| #define configMAX_TASK_NAME_LEN 16 |
| #define configUSE_TRACE_FACILITY 0 |
| #define configUSE_16_BIT_TICKS 0 |
| #define configIDLE_SHOULD_YIELD 0 |
| #define configUSE_MUTEXES 0 |
| #define configQUEUE_REGISTRY_SIZE 0 |
| #define configCHECK_FOR_STACK_OVERFLOW 0 |
| #define configUSE_RECURSIVE_MUTEXES 0 |
| #define configUSE_MALLOC_FAILED_HOOK 1 |
| #define configUSE_APPLICATION_TASK_TAG 0 |
| #define configUSE_COUNTING_SEMAPHORES 0 |
| #define configGENERATE_RUN_TIME_STATS 0 |
| #define configUSE_PORT_OPTIMISED_TASK_SELECTION 1 |
| |
| // Co-routines. |
| #define configUSE_CO_ROUTINES 0 |
| #define configMAX_CO_ROUTINE_PRIORITIES 2 |
| |
| // Software timers. |
| #define configUSE_TIMERS 0 |
| |
| // Task priorities. Allow these to be overridden. |
| #ifndef uartPRIMARY_PRIORITY |
| #define uartPRIMARY_PRIORITY (configMAX_PRIORITIES - 3) |
| #endif // uartPRIMARY_PRIORITY |
| |
| // Set the following definitions to 1 to include the API function, or zero to |
| // exclude the API function. |
| #define INCLUDE_vTaskPrioritySet 1 |
| #define INCLUDE_uxTaskPriorityGet 1 |
| #define INCLUDE_vTaskDelete 1 |
| #define INCLUDE_vTaskCleanUpResources 1 |
| #define INCLUDE_vTaskSuspend 1 |
| #define INCLUDE_vTaskDelayUntil 1 |
| #define INCLUDE_vTaskDelay 1 |
| #define INCLUDE_eTaskGetState 1 |
| #define INCLUDE_xTimerPendFunctionCall 1 |
| #define INCLUDE_xTaskAbortDelay 1 |
| #define INCLUDE_xTaskGetHandle 1 |
| #define INCLUDE_xSemaphoreGetMutexHolder 0 |
| |
| #endif // OPENTITAN_SW_DEVICE_LIB_TESTING_TEST_FRAMEWORK_FREERTOSCONFIG_H_ |