/*\r
- FreeRTOS V8.0.1 - Copyright (C) 2014 Real Time Engineers Ltd.\r
- All rights reserved\r
-\r
- VISIT http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.\r
-\r
- ***************************************************************************\r
- * *\r
- * FreeRTOS provides completely free yet professionally developed, *\r
- * robust, strictly quality controlled, supported, and cross *\r
- * platform software that has become a de facto standard. *\r
- * *\r
- * Help yourself get started quickly and support the FreeRTOS *\r
- * project by purchasing a FreeRTOS tutorial book, reference *\r
- * manual, or both from: http://www.FreeRTOS.org/Documentation *\r
- * *\r
- * Thank you! *\r
- * *\r
- ***************************************************************************\r
-\r
- This file is part of the FreeRTOS distribution.\r
-\r
- FreeRTOS is free software; you can redistribute it and/or modify it under\r
- the terms of the GNU General Public License (version 2) as published by the\r
- Free Software Foundation >>!AND MODIFIED BY!<< the FreeRTOS exception.\r
-\r
- >>! NOTE: The modification to the GPL is included to allow you to !<<\r
- >>! distribute a combined work that includes FreeRTOS without being !<<\r
- >>! obliged to provide the source code for proprietary components !<<\r
- >>! outside of the FreeRTOS kernel. !<<\r
-\r
- FreeRTOS is distributed in the hope that it will be useful, but WITHOUT ANY\r
- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS\r
- FOR A PARTICULAR PURPOSE. Full license text is available from the following\r
- link: http://www.freertos.org/a00114.html\r
-\r
- 1 tab == 4 spaces!\r
-\r
- ***************************************************************************\r
- * *\r
- * Having a problem? Start by reading the FAQ "My application does *\r
- * not run, what could be wrong?" *\r
- * *\r
- * http://www.FreeRTOS.org/FAQHelp.html *\r
- * *\r
- ***************************************************************************\r
-\r
- http://www.FreeRTOS.org - Documentation, books, training, latest versions,\r
- license and Real Time Engineers Ltd. contact details.\r
-\r
- http://www.FreeRTOS.org/plus - A selection of FreeRTOS ecosystem products,\r
- including FreeRTOS+Trace - an indispensable productivity tool, a DOS\r
- compatible FAT file system, and our tiny thread aware UDP/IP stack.\r
-\r
- http://www.OpenRTOS.com - Real Time Engineers ltd license FreeRTOS to High\r
- Integrity Systems to sell under the OpenRTOS brand. Low cost OpenRTOS\r
- licenses offer ticketed support, indemnification and middleware.\r
-\r
- http://www.SafeRTOS.com - High Integrity Systems also provide a safety\r
- engineered and independently SIL3 certified version for use in safety and\r
- mission critical applications that require provable dependability.\r
-\r
- 1 tab == 4 spaces!\r
-*/\r
+ * FreeRTOS Kernel V10.2.1\r
+ * Copyright (C) 2019 Amazon.com, Inc. or its affiliates. All Rights Reserved.\r
+ *\r
+ * Permission is hereby granted, free of charge, to any person obtaining a copy of\r
+ * this software and associated documentation files (the "Software"), to deal in\r
+ * the Software without restriction, including without limitation the rights to\r
+ * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of\r
+ * the Software, and to permit persons to whom the Software is furnished to do so,\r
+ * subject to the following conditions:\r
+ *\r
+ * The above copyright notice and this permission notice shall be included in all\r
+ * copies or substantial portions of the Software.\r
+ *\r
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\r
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS\r
+ * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR\r
+ * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER\r
+ * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN\r
+ * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\r
+ *\r
+ * http://www.FreeRTOS.org\r
+ * http://aws.amazon.com/freertos\r
+ *\r
+ * 1 tab == 4 spaces!\r
+ */\r
\r
#ifndef INC_FREERTOS_H\r
#define INC_FREERTOS_H\r
/* Basic FreeRTOS definitions. */\r
#include "projdefs.h"\r
\r
-/* configUSE_PORT_OPTIMISED_TASK_SELECTION must be defined before portable.h\r
-is included as it is used by the port layer. */\r
-#ifndef configUSE_PORT_OPTIMISED_TASK_SELECTION\r
- #define configUSE_PORT_OPTIMISED_TASK_SELECTION 0\r
-#endif\r
-\r
/* Definitions specific to the port being used. */\r
#include "portable.h"\r
\r
+/* Must be defaulted before configUSE_NEWLIB_REENTRANT is used below. */\r
+#ifndef configUSE_NEWLIB_REENTRANT\r
+ #define configUSE_NEWLIB_REENTRANT 0\r
+#endif\r
+\r
+/* Required if struct _reent is used. */\r
+#if ( configUSE_NEWLIB_REENTRANT == 1 )\r
+ #include <reent.h>\r
+#endif\r
/*\r
* Check all the required application specific macros have been defined.\r
* These macros are application specific and (as downloaded) are defined\r
#error Missing definition: configMAX_PRIORITIES must be defined in FreeRTOSConfig.h. See the Configuration section of the FreeRTOS API documentation for details.\r
#endif\r
\r
+#if configMAX_PRIORITIES < 1\r
+ #error configMAX_PRIORITIES must be defined to be greater than or equal to 1.\r
+#endif\r
+\r
#ifndef configUSE_PREEMPTION\r
#error Missing definition: configUSE_PREEMPTION must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
#endif\r
#error Missing definition: configUSE_TICK_HOOK must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
#endif\r
\r
+#ifndef configUSE_16_BIT_TICKS\r
+ #error Missing definition: configUSE_16_BIT_TICKS must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+#endif\r
+\r
#ifndef configUSE_CO_ROUTINES\r
- #error Missing definition: configUSE_CO_ROUTINES must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+ #define configUSE_CO_ROUTINES 0\r
#endif\r
\r
#ifndef INCLUDE_vTaskPrioritySet\r
- #error Missing definition: INCLUDE_vTaskPrioritySet must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+ #define INCLUDE_vTaskPrioritySet 0\r
#endif\r
\r
#ifndef INCLUDE_uxTaskPriorityGet\r
- #error Missing definition: INCLUDE_uxTaskPriorityGet must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+ #define INCLUDE_uxTaskPriorityGet 0\r
#endif\r
\r
#ifndef INCLUDE_vTaskDelete\r
- #error Missing definition: INCLUDE_vTaskDelete must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+ #define INCLUDE_vTaskDelete 0\r
#endif\r
\r
#ifndef INCLUDE_vTaskSuspend\r
- #error Missing definition: INCLUDE_vTaskSuspend must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+ #define INCLUDE_vTaskSuspend 0\r
#endif\r
\r
#ifndef INCLUDE_vTaskDelayUntil\r
- #error Missing definition: INCLUDE_vTaskDelayUntil must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
+ #define INCLUDE_vTaskDelayUntil 0\r
#endif\r
\r
#ifndef INCLUDE_vTaskDelay\r
- #error Missing definition: INCLUDE_vTaskDelay must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
-#endif\r
-\r
-#ifndef configUSE_16_BIT_TICKS\r
- #error Missing definition: configUSE_16_BIT_TICKS must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.\r
-#endif\r
-\r
-#if configUSE_CO_ROUTINES != 0\r
- #ifndef configMAX_CO_ROUTINE_PRIORITIES\r
- #error configMAX_CO_ROUTINE_PRIORITIES must be greater than or equal to 1.\r
- #endif\r
-#endif\r
-\r
-#ifndef configMAX_PRIORITIES\r
- #error configMAX_PRIORITIES must be defined to be greater than or equal to 1.\r
+ #define INCLUDE_vTaskDelay 0\r
#endif\r
\r
#ifndef INCLUDE_xTaskGetIdleTaskHandle\r
#define INCLUDE_xTaskGetIdleTaskHandle 0\r
#endif\r
\r
-#ifndef INCLUDE_xTimerGetTimerDaemonTaskHandle\r
- #define INCLUDE_xTimerGetTimerDaemonTaskHandle 0\r
+#ifndef INCLUDE_xTaskAbortDelay\r
+ #define INCLUDE_xTaskAbortDelay 0\r
#endif\r
\r
#ifndef INCLUDE_xQueueGetMutexHolder\r
#define INCLUDE_xSemaphoreGetMutexHolder INCLUDE_xQueueGetMutexHolder\r
#endif\r
\r
-#ifndef INCLUDE_pcTaskGetTaskName\r
- #define INCLUDE_pcTaskGetTaskName 0\r
-#endif\r
-\r
-#ifndef configUSE_APPLICATION_TASK_TAG\r
- #define configUSE_APPLICATION_TASK_TAG 0\r
+#ifndef INCLUDE_xTaskGetHandle\r
+ #define INCLUDE_xTaskGetHandle 0\r
#endif\r
\r
#ifndef INCLUDE_uxTaskGetStackHighWaterMark\r
#define INCLUDE_uxTaskGetStackHighWaterMark 0\r
#endif\r
\r
+#ifndef INCLUDE_uxTaskGetStackHighWaterMark2\r
+ #define INCLUDE_uxTaskGetStackHighWaterMark2 0\r
+#endif\r
+\r
#ifndef INCLUDE_eTaskGetState\r
#define INCLUDE_eTaskGetState 0\r
#endif\r
\r
+#ifndef INCLUDE_xTaskResumeFromISR\r
+ #define INCLUDE_xTaskResumeFromISR 1\r
+#endif\r
+\r
+#ifndef INCLUDE_xTimerPendFunctionCall\r
+ #define INCLUDE_xTimerPendFunctionCall 0\r
+#endif\r
+\r
+#ifndef INCLUDE_xTaskGetSchedulerState\r
+ #define INCLUDE_xTaskGetSchedulerState 0\r
+#endif\r
+\r
+#ifndef INCLUDE_xTaskGetCurrentTaskHandle\r
+ #define INCLUDE_xTaskGetCurrentTaskHandle 0\r
+#endif\r
+\r
+#if configUSE_CO_ROUTINES != 0\r
+ #ifndef configMAX_CO_ROUTINE_PRIORITIES\r
+ #error configMAX_CO_ROUTINE_PRIORITIES must be greater than or equal to 1.\r
+ #endif\r
+#endif\r
+\r
+#ifndef configUSE_DAEMON_TASK_STARTUP_HOOK\r
+ #define configUSE_DAEMON_TASK_STARTUP_HOOK 0\r
+#endif\r
+\r
+#ifndef configUSE_APPLICATION_TASK_TAG\r
+ #define configUSE_APPLICATION_TASK_TAG 0\r
+#endif\r
+\r
+#ifndef configNUM_THREAD_LOCAL_STORAGE_POINTERS\r
+ #define configNUM_THREAD_LOCAL_STORAGE_POINTERS 0\r
+#endif\r
+\r
#ifndef configUSE_RECURSIVE_MUTEXES\r
#define configUSE_RECURSIVE_MUTEXES 0\r
#endif\r
#error configMAX_TASK_NAME_LEN must be set to a minimum of 1 in FreeRTOSConfig.h\r
#endif\r
\r
-#ifndef INCLUDE_xTaskResumeFromISR\r
- #define INCLUDE_xTaskResumeFromISR 1\r
-#endif\r
-\r
-#ifndef INCLUDE_xEventGroupSetBitFromISR\r
- #define INCLUDE_xEventGroupSetBitFromISR 0\r
-#endif\r
-\r
-#ifndef INCLUDE_xTimerPendFunctionCall\r
- #define INCLUDE_xTimerPendFunctionCall 0\r
-#endif\r
-\r
#ifndef configASSERT\r
#define configASSERT( x )\r
#define configASSERT_DEFINED 0\r
#define configASSERT_DEFINED 1\r
#endif\r
\r
+/* configPRECONDITION should resolve to configASSERT. The CBMC proofs need a way\r
+to track assumptions and assertions.\r
+- A configPRECONDITION statement should express an implicit invariant or\r
+assumption made.\r
+- A configASSERT statement should express an invariant that must hold explicit\r
+before calling the code. */\r
+#ifndef configPRECONDITION\r
+ #define configPRECONDITION( X ) configASSERT(X)\r
+ #define configPRECONDITION_DEFINED 0\r
+#else\r
+ #define configPRECONDITION_DEFINED 1\r
+#endif\r
+\r
+#ifndef portMEMORY_BARRIER\r
+ #define portMEMORY_BARRIER()\r
+#endif\r
+\r
/* The timers module relies on xTaskGetSchedulerState(). */\r
#if configUSE_TIMERS == 1\r
\r
\r
#endif /* configUSE_TIMERS */\r
\r
-#ifndef INCLUDE_xTaskGetSchedulerState\r
- #define INCLUDE_xTaskGetSchedulerState 0\r
-#endif\r
-\r
-#ifndef INCLUDE_xTaskGetCurrentTaskHandle\r
- #define INCLUDE_xTaskGetCurrentTaskHandle 0\r
-#endif\r
-\r
-\r
#ifndef portSET_INTERRUPT_MASK_FROM_ISR\r
#define portSET_INTERRUPT_MASK_FROM_ISR() 0\r
#endif\r
#if ( configQUEUE_REGISTRY_SIZE < 1 )\r
#define vQueueAddToRegistry( xQueue, pcName )\r
#define vQueueUnregisterQueue( xQueue )\r
+ #define pcQueueGetName( xQueue )\r
#endif\r
\r
#ifndef portPOINTER_SIZE_TYPE\r
#define traceBLOCKING_ON_QUEUE_RECEIVE( pxQueue )\r
#endif\r
\r
+#ifndef traceBLOCKING_ON_QUEUE_PEEK\r
+ /* Task is about to block because it cannot read from a\r
+ queue/mutex/semaphore. pxQueue is a pointer to the queue/mutex/semaphore\r
+ upon which the read was attempted. pxCurrentTCB points to the TCB of the\r
+ task that attempted the read. */\r
+ #define traceBLOCKING_ON_QUEUE_PEEK( pxQueue )\r
+#endif\r
+\r
#ifndef traceBLOCKING_ON_QUEUE_SEND\r
/* Task is about to block because it cannot write to a\r
queue/mutex/semaphore. pxQueue is a pointer to the queue/mutex/semaphore\r
#define configCHECK_FOR_STACK_OVERFLOW 0\r
#endif\r
\r
+#ifndef configRECORD_STACK_HIGH_ADDRESS\r
+ #define configRECORD_STACK_HIGH_ADDRESS 0\r
+#endif\r
+\r
+#ifndef configINCLUDE_FREERTOS_TASK_C_ADDITIONS_H\r
+ #define configINCLUDE_FREERTOS_TASK_C_ADDITIONS_H 0\r
+#endif\r
+\r
/* The following event macros are embedded in the kernel API calls. */\r
\r
#ifndef traceMOVED_TASK_TO_READY_STATE\r
#define traceMOVED_TASK_TO_READY_STATE( pxTCB )\r
#endif\r
\r
+#ifndef tracePOST_MOVED_TASK_TO_READY_STATE\r
+ #define tracePOST_MOVED_TASK_TO_READY_STATE( pxTCB )\r
+#endif\r
+\r
#ifndef traceQUEUE_CREATE\r
#define traceQUEUE_CREATE( pxNewQueue )\r
#endif\r
#define traceQUEUE_PEEK( pxQueue )\r
#endif\r
\r
+#ifndef traceQUEUE_PEEK_FAILED\r
+ #define traceQUEUE_PEEK_FAILED( pxQueue )\r
+#endif\r
+\r
#ifndef traceQUEUE_PEEK_FROM_ISR\r
#define traceQUEUE_PEEK_FROM_ISR( pxQueue )\r
#endif\r
#endif\r
\r
#ifndef traceTASK_DELAY_UNTIL\r
- #define traceTASK_DELAY_UNTIL()\r
+ #define traceTASK_DELAY_UNTIL( x )\r
#endif\r
\r
#ifndef traceTASK_DELAY\r
\r
#ifndef tracePEND_FUNC_CALL_FROM_ISR\r
#define tracePEND_FUNC_CALL_FROM_ISR(xFunctionToPend, pvParameter1, ulParameter2, ret)\r
-#endif \r
+#endif\r
\r
#ifndef traceQUEUE_REGISTRY_ADD\r
#define traceQUEUE_REGISTRY_ADD(xQueue, pcQueueName)\r
#endif\r
\r
+#ifndef traceTASK_NOTIFY_TAKE_BLOCK\r
+ #define traceTASK_NOTIFY_TAKE_BLOCK()\r
+#endif\r
+\r
+#ifndef traceTASK_NOTIFY_TAKE\r
+ #define traceTASK_NOTIFY_TAKE()\r
+#endif\r
+\r
+#ifndef traceTASK_NOTIFY_WAIT_BLOCK\r
+ #define traceTASK_NOTIFY_WAIT_BLOCK()\r
+#endif\r
+\r
+#ifndef traceTASK_NOTIFY_WAIT\r
+ #define traceTASK_NOTIFY_WAIT()\r
+#endif\r
+\r
+#ifndef traceTASK_NOTIFY\r
+ #define traceTASK_NOTIFY()\r
+#endif\r
+\r
+#ifndef traceTASK_NOTIFY_FROM_ISR\r
+ #define traceTASK_NOTIFY_FROM_ISR()\r
+#endif\r
+\r
+#ifndef traceTASK_NOTIFY_GIVE_FROM_ISR\r
+ #define traceTASK_NOTIFY_GIVE_FROM_ISR()\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_CREATE_FAILED\r
+ #define traceSTREAM_BUFFER_CREATE_FAILED( xIsMessageBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_CREATE_STATIC_FAILED\r
+ #define traceSTREAM_BUFFER_CREATE_STATIC_FAILED( xReturn, xIsMessageBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_CREATE\r
+ #define traceSTREAM_BUFFER_CREATE( pxStreamBuffer, xIsMessageBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_DELETE\r
+ #define traceSTREAM_BUFFER_DELETE( xStreamBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_RESET\r
+ #define traceSTREAM_BUFFER_RESET( xStreamBuffer )\r
+#endif\r
+\r
+#ifndef traceBLOCKING_ON_STREAM_BUFFER_SEND\r
+ #define traceBLOCKING_ON_STREAM_BUFFER_SEND( xStreamBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_SEND\r
+ #define traceSTREAM_BUFFER_SEND( xStreamBuffer, xBytesSent )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_SEND_FAILED\r
+ #define traceSTREAM_BUFFER_SEND_FAILED( xStreamBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_SEND_FROM_ISR\r
+ #define traceSTREAM_BUFFER_SEND_FROM_ISR( xStreamBuffer, xBytesSent )\r
+#endif\r
+\r
+#ifndef traceBLOCKING_ON_STREAM_BUFFER_RECEIVE\r
+ #define traceBLOCKING_ON_STREAM_BUFFER_RECEIVE( xStreamBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_RECEIVE\r
+ #define traceSTREAM_BUFFER_RECEIVE( xStreamBuffer, xReceivedLength )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_RECEIVE_FAILED\r
+ #define traceSTREAM_BUFFER_RECEIVE_FAILED( xStreamBuffer )\r
+#endif\r
+\r
+#ifndef traceSTREAM_BUFFER_RECEIVE_FROM_ISR\r
+ #define traceSTREAM_BUFFER_RECEIVE_FROM_ISR( xStreamBuffer, xReceivedLength )\r
+#endif\r
+\r
#ifndef configGENERATE_RUN_TIME_STATS\r
#define configGENERATE_RUN_TIME_STATS 0\r
#endif\r
#define portYIELD_WITHIN_API portYIELD\r
#endif\r
\r
-#ifndef pvPortMallocAligned\r
- #define pvPortMallocAligned( x, puxStackBuffer ) ( ( ( puxStackBuffer ) == NULL ) ? ( pvPortMalloc( ( x ) ) ) : ( puxStackBuffer ) )\r
-#endif\r
-\r
-#ifndef vPortFreeAligned\r
- #define vPortFreeAligned( pvBlockToFree ) vPortFree( pvBlockToFree )\r
-#endif\r
-\r
#ifndef portSUPPRESS_TICKS_AND_SLEEP\r
#define portSUPPRESS_TICKS_AND_SLEEP( xExpectedIdleTime )\r
#endif\r
#define configUSE_TICKLESS_IDLE 0\r
#endif\r
\r
+#ifndef configPRE_SUPPRESS_TICKS_AND_SLEEP_PROCESSING\r
+ #define configPRE_SUPPRESS_TICKS_AND_SLEEP_PROCESSING( x )\r
+#endif\r
+\r
#ifndef configPRE_SLEEP_PROCESSING\r
#define configPRE_SLEEP_PROCESSING( x )\r
#endif\r
#define portTASK_USES_FLOATING_POINT()\r
#endif\r
\r
+#ifndef portALLOCATE_SECURE_CONTEXT\r
+ #define portALLOCATE_SECURE_CONTEXT( ulSecureStackSize )\r
+#endif\r
+\r
+#ifndef portDONT_DISCARD\r
+ #define portDONT_DISCARD\r
+#endif\r
+\r
#ifndef configUSE_TIME_SLICING\r
#define configUSE_TIME_SLICING 1\r
#endif\r
#define configINCLUDE_APPLICATION_DEFINED_PRIVILEGED_FUNCTIONS 0\r
#endif\r
\r
-#ifndef configUSE_NEWLIB_REENTRANT\r
- #define configUSE_NEWLIB_REENTRANT 0\r
-#endif\r
-\r
#ifndef configUSE_STATS_FORMATTING_FUNCTIONS\r
#define configUSE_STATS_FORMATTING_FUNCTIONS 0\r
#endif\r
#define mtCOVERAGE_TEST_MARKER()\r
#endif\r
\r
+#ifndef mtCOVERAGE_TEST_DELAY\r
+ #define mtCOVERAGE_TEST_DELAY()\r
+#endif\r
+\r
#ifndef portASSERT_IF_IN_ISR\r
#define portASSERT_IF_IN_ISR()\r
#endif\r
\r
+#ifndef configUSE_PORT_OPTIMISED_TASK_SELECTION\r
+ #define configUSE_PORT_OPTIMISED_TASK_SELECTION 0\r
+#endif\r
+\r
+#ifndef configAPPLICATION_ALLOCATED_HEAP\r
+ #define configAPPLICATION_ALLOCATED_HEAP 0\r
+#endif\r
+\r
+#ifndef configUSE_TASK_NOTIFICATIONS\r
+ #define configUSE_TASK_NOTIFICATIONS 1\r
+#endif\r
+\r
+#ifndef configUSE_POSIX_ERRNO\r
+ #define configUSE_POSIX_ERRNO 0\r
+#endif\r
+\r
+#ifndef portTICK_TYPE_IS_ATOMIC\r
+ #define portTICK_TYPE_IS_ATOMIC 0\r
+#endif\r
+\r
+#ifndef configSUPPORT_STATIC_ALLOCATION\r
+ /* Defaults to 0 for backward compatibility. */\r
+ #define configSUPPORT_STATIC_ALLOCATION 0\r
+#endif\r
+\r
+#ifndef configSUPPORT_DYNAMIC_ALLOCATION\r
+ /* Defaults to 1 for backward compatibility. */\r
+ #define configSUPPORT_DYNAMIC_ALLOCATION 1\r
+#endif\r
+\r
+#ifndef configSTACK_DEPTH_TYPE\r
+ /* Defaults to uint16_t for backward compatibility, but can be overridden\r
+ in FreeRTOSConfig.h if uint16_t is too restrictive. */\r
+ #define configSTACK_DEPTH_TYPE uint16_t\r
+#endif\r
+\r
+#ifndef configMESSAGE_BUFFER_LENGTH_TYPE\r
+ /* Defaults to size_t for backward compatibility, but can be overridden\r
+ in FreeRTOSConfig.h if lengths will always be less than the number of bytes\r
+ in a size_t. */\r
+ #define configMESSAGE_BUFFER_LENGTH_TYPE size_t\r
+#endif\r
+\r
+/* Sanity check the configuration. */\r
+#if( configUSE_TICKLESS_IDLE != 0 )\r
+ #if( INCLUDE_vTaskSuspend != 1 )\r
+ #error INCLUDE_vTaskSuspend must be set to 1 if configUSE_TICKLESS_IDLE is not set to 0\r
+ #endif /* INCLUDE_vTaskSuspend */\r
+#endif /* configUSE_TICKLESS_IDLE */\r
+\r
+#if( ( configSUPPORT_STATIC_ALLOCATION == 0 ) && ( configSUPPORT_DYNAMIC_ALLOCATION == 0 ) )\r
+ #error configSUPPORT_STATIC_ALLOCATION and configSUPPORT_DYNAMIC_ALLOCATION cannot both be 0, but can both be 1.\r
+#endif\r
+\r
+#if( ( configUSE_RECURSIVE_MUTEXES == 1 ) && ( configUSE_MUTEXES != 1 ) )\r
+ #error configUSE_MUTEXES must be set to 1 to use recursive mutexes\r
+#endif\r
+\r
+#ifndef configINITIAL_TICK_COUNT\r
+ #define configINITIAL_TICK_COUNT 0\r
+#endif\r
+\r
+#if( portTICK_TYPE_IS_ATOMIC == 0 )\r
+ /* Either variables of tick type cannot be read atomically, or\r
+ portTICK_TYPE_IS_ATOMIC was not set - map the critical sections used when\r
+ the tick count is returned to the standard critical section macros. */\r
+ #define portTICK_TYPE_ENTER_CRITICAL() portENTER_CRITICAL()\r
+ #define portTICK_TYPE_EXIT_CRITICAL() portEXIT_CRITICAL()\r
+ #define portTICK_TYPE_SET_INTERRUPT_MASK_FROM_ISR() portSET_INTERRUPT_MASK_FROM_ISR()\r
+ #define portTICK_TYPE_CLEAR_INTERRUPT_MASK_FROM_ISR( x ) portCLEAR_INTERRUPT_MASK_FROM_ISR( ( x ) )\r
+#else\r
+ /* The tick type can be read atomically, so critical sections used when the\r
+ tick count is returned can be defined away. */\r
+ #define portTICK_TYPE_ENTER_CRITICAL()\r
+ #define portTICK_TYPE_EXIT_CRITICAL()\r
+ #define portTICK_TYPE_SET_INTERRUPT_MASK_FROM_ISR() 0\r
+ #define portTICK_TYPE_CLEAR_INTERRUPT_MASK_FROM_ISR( x ) ( void ) x\r
+#endif\r
+\r
/* Definitions to allow backward compatibility with FreeRTOS versions prior to\r
V8 if desired. */\r
#ifndef configENABLE_BACKWARD_COMPATIBILITY\r
#define configENABLE_BACKWARD_COMPATIBILITY 1\r
#endif\r
\r
+#ifndef configPRINTF\r
+ /* configPRINTF() was not defined, so define it away to nothing. To use\r
+ configPRINTF() then define it as follows (where MyPrintFunction() is\r
+ provided by the application writer):\r
+\r
+ void MyPrintFunction(const char *pcFormat, ... );\r
+ #define configPRINTF( X ) MyPrintFunction X\r
+\r
+ Then call like a standard printf() function, but placing brackets around\r
+ all parameters so they are passed as a single parameter. For example:\r
+ configPRINTF( ("Value = %d", MyVariable) ); */\r
+ #define configPRINTF( X )\r
+#endif\r
+\r
+#ifndef configMAX\r
+ /* The application writer has not provided their own MAX macro, so define\r
+ the following generic implementation. */\r
+ #define configMAX( a, b ) ( ( ( a ) > ( b ) ) ? ( a ) : ( b ) )\r
+#endif\r
+\r
+#ifndef configMIN\r
+ /* The application writer has not provided their own MAX macro, so define\r
+ the following generic implementation. */\r
+ #define configMIN( a, b ) ( ( ( a ) < ( b ) ) ? ( a ) : ( b ) )\r
+#endif\r
+\r
#if configENABLE_BACKWARD_COMPATIBILITY == 1\r
#define eTaskStateGet eTaskGetState\r
#define portTickType TickType_t\r
#define xCoRoutineHandle CoRoutineHandle_t\r
#define pdTASK_HOOK_CODE TaskHookFunction_t\r
#define portTICK_RATE_MS portTICK_PERIOD_MS\r
+ #define pcTaskGetTaskName pcTaskGetName\r
+ #define pcTimerGetTimerName pcTimerGetName\r
+ #define pcQueueGetQueueName pcQueueGetName\r
+ #define vTaskGetTaskInfo vTaskGetInfo\r
\r
/* Backward compatibility within the scheduler code only - these definitions\r
are not really required but are included for completeness. */\r
#define pdTASK_CODE TaskFunction_t\r
#define xListItem ListItem_t\r
#define xList List_t\r
+\r
+ /* For libraries that break the list data hiding, and access list structure\r
+ members directly (which is not supposed to be done). */\r
+ #define pxContainer pvContainer\r
#endif /* configENABLE_BACKWARD_COMPATIBILITY */\r
\r
+#if( configUSE_ALTERNATIVE_API != 0 )\r
+ #error The alternative API was deprecated some time ago, and was removed in FreeRTOS V9.0 0\r
+#endif\r
+\r
+/* Set configUSE_TASK_FPU_SUPPORT to 0 to omit floating point support even\r
+if floating point hardware is otherwise supported by the FreeRTOS port in use.\r
+This constant is not supported by all FreeRTOS ports that include floating\r
+point support. */\r
+#ifndef configUSE_TASK_FPU_SUPPORT\r
+ #define configUSE_TASK_FPU_SUPPORT 1\r
+#endif\r
+\r
+/* Set configENABLE_MPU to 1 to enable MPU support and 0 to disable it. This is\r
+currently used in ARMv8M ports. */\r
+#ifndef configENABLE_MPU\r
+ #define configENABLE_MPU 0\r
+#endif\r
+\r
+/* Set configENABLE_FPU to 1 to enable FPU support and 0 to disable it. This is\r
+currently used in ARMv8M ports. */\r
+#ifndef configENABLE_FPU\r
+ #define configENABLE_FPU 1\r
+#endif\r
+\r
+/* Set configENABLE_TRUSTZONE to 1 enable TrustZone support and 0 to disable it.\r
+This is currently used in ARMv8M ports. */\r
+#ifndef configENABLE_TRUSTZONE\r
+ #define configENABLE_TRUSTZONE 1\r
+#endif\r
+\r
+/* Set configRUN_FREERTOS_SECURE_ONLY to 1 to run the FreeRTOS ARMv8M port on\r
+the Secure Side only. */\r
+#ifndef configRUN_FREERTOS_SECURE_ONLY\r
+ #define configRUN_FREERTOS_SECURE_ONLY 0\r
+#endif\r
+\r
+/* Sometimes the FreeRTOSConfig.h settings only allow a task to be created using\r
+ * dynamically allocated RAM, in which case when any task is deleted it is known\r
+ * that both the task's stack and TCB need to be freed. Sometimes the\r
+ * FreeRTOSConfig.h settings only allow a task to be created using statically\r
+ * allocated RAM, in which case when any task is deleted it is known that neither\r
+ * the task's stack or TCB should be freed. Sometimes the FreeRTOSConfig.h\r
+ * settings allow a task to be created using either statically or dynamically\r
+ * allocated RAM, in which case a member of the TCB is used to record whether the\r
+ * stack and/or TCB were allocated statically or dynamically, so when a task is\r
+ * deleted the RAM that was allocated dynamically is freed again and no attempt is\r
+ * made to free the RAM that was allocated statically.\r
+ * tskSTATIC_AND_DYNAMIC_ALLOCATION_POSSIBLE is only true if it is possible for a\r
+ * task to be created using either statically or dynamically allocated RAM. Note\r
+ * that if portUSING_MPU_WRAPPERS is 1 then a protected task can be created with\r
+ * a statically allocated stack and a dynamically allocated TCB.\r
+ *\r
+ * The following table lists various combinations of portUSING_MPU_WRAPPERS,\r
+ * configSUPPORT_DYNAMIC_ALLOCATION and configSUPPORT_STATIC_ALLOCATION and\r
+ * when it is possible to have both static and dynamic allocation:\r
+ * +-----+---------+--------+-----------------------------+-----------------------------------+------------------+-----------+\r
+ * | MPU | Dynamic | Static | Available Functions | Possible Allocations | Both Dynamic and | Need Free |\r
+ * | | | | | | Static Possible | |\r
+ * +-----+---------+--------+-----------------------------+-----------------------------------+------------------+-----------+\r
+ * | 0 | 0 | 1 | xTaskCreateStatic | TCB - Static, Stack - Static | No | No |\r
+ * +-----|---------|--------|-----------------------------|-----------------------------------|------------------|-----------|\r
+ * | 0 | 1 | 0 | xTaskCreate | TCB - Dynamic, Stack - Dynamic | No | Yes |\r
+ * +-----|---------|--------|-----------------------------|-----------------------------------|------------------|-----------|\r
+ * | 0 | 1 | 1 | xTaskCreate, | 1. TCB - Dynamic, Stack - Dynamic | Yes | Yes |\r
+ * | | | | xTaskCreateStatic | 2. TCB - Static, Stack - Static | | |\r
+ * +-----|---------|--------|-----------------------------|-----------------------------------|------------------|-----------|\r
+ * | 1 | 0 | 1 | xTaskCreateStatic, | TCB - Static, Stack - Static | No | No |\r
+ * | | | | xTaskCreateRestrictedStatic | | | |\r
+ * +-----|---------|--------|-----------------------------|-----------------------------------|------------------|-----------|\r
+ * | 1 | 1 | 0 | xTaskCreate, | 1. TCB - Dynamic, Stack - Dynamic | Yes | Yes |\r
+ * | | | | xTaskCreateRestricted | 2. TCB - Dynamic, Stack - Static | | |\r
+ * +-----|---------|--------|-----------------------------|-----------------------------------|------------------|-----------|\r
+ * | 1 | 1 | 1 | xTaskCreate, | 1. TCB - Dynamic, Stack - Dynamic | Yes | Yes |\r
+ * | | | | xTaskCreateStatic, | 2. TCB - Dynamic, Stack - Static | | |\r
+ * | | | | xTaskCreateRestricted, | 3. TCB - Static, Stack - Static | | |\r
+ * | | | | xTaskCreateRestrictedStatic | | | |\r
+ * +-----+---------+--------+-----------------------------+-----------------------------------+------------------+-----------+\r
+ */\r
+#define tskSTATIC_AND_DYNAMIC_ALLOCATION_POSSIBLE ( ( ( portUSING_MPU_WRAPPERS == 0 ) && ( configSUPPORT_DYNAMIC_ALLOCATION == 1 ) && ( configSUPPORT_STATIC_ALLOCATION == 1 ) ) || \\r
+ ( ( portUSING_MPU_WRAPPERS == 1 ) && ( configSUPPORT_DYNAMIC_ALLOCATION == 1 ) ) )\r
+\r
+/*\r
+ * In line with software engineering best practice, FreeRTOS implements a strict\r
+ * data hiding policy, so the real structures used by FreeRTOS to maintain the\r
+ * state of tasks, queues, semaphores, etc. are not accessible to the application\r
+ * code. However, if the application writer wants to statically allocate such\r
+ * an object then the size of the object needs to be know. Dummy structures\r
+ * that are guaranteed to have the same size and alignment requirements of the\r
+ * real objects are used for this purpose. The dummy list and list item\r
+ * structures below are used for inclusion in such a dummy structure.\r
+ */\r
+struct xSTATIC_LIST_ITEM\r
+{\r
+ #if( configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES == 1 )\r
+ TickType_t xDummy1;\r
+ #endif\r
+ TickType_t xDummy2;\r
+ void *pvDummy3[ 4 ];\r
+ #if( configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES == 1 )\r
+ TickType_t xDummy4;\r
+ #endif\r
+};\r
+typedef struct xSTATIC_LIST_ITEM StaticListItem_t;\r
+\r
+/* See the comments above the struct xSTATIC_LIST_ITEM definition. */\r
+struct xSTATIC_MINI_LIST_ITEM\r
+{\r
+ #if( configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES == 1 )\r
+ TickType_t xDummy1;\r
+ #endif\r
+ TickType_t xDummy2;\r
+ void *pvDummy3[ 2 ];\r
+};\r
+typedef struct xSTATIC_MINI_LIST_ITEM StaticMiniListItem_t;\r
+\r
+/* See the comments above the struct xSTATIC_LIST_ITEM definition. */\r
+typedef struct xSTATIC_LIST\r
+{\r
+ #if( configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES == 1 )\r
+ TickType_t xDummy1;\r
+ #endif\r
+ UBaseType_t uxDummy2;\r
+ void *pvDummy3;\r
+ StaticMiniListItem_t xDummy4;\r
+ #if( configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES == 1 )\r
+ TickType_t xDummy5;\r
+ #endif\r
+} StaticList_t;\r
+\r
+/*\r
+ * In line with software engineering best practice, especially when supplying a\r
+ * library that is likely to change in future versions, FreeRTOS implements a\r
+ * strict data hiding policy. This means the Task structure used internally by\r
+ * FreeRTOS is not accessible to application code. However, if the application\r
+ * writer wants to statically allocate the memory required to create a task then\r
+ * the size of the task object needs to be know. The StaticTask_t structure\r
+ * below is provided for this purpose. Its sizes and alignment requirements are\r
+ * guaranteed to match those of the genuine structure, no matter which\r
+ * architecture is being used, and no matter how the values in FreeRTOSConfig.h\r
+ * are set. Its contents are somewhat obfuscated in the hope users will\r
+ * recognise that it would be unwise to make direct use of the structure members.\r
+ */\r
+typedef struct xSTATIC_TCB\r
+{\r
+ void *pxDummy1;\r
+ #if ( portUSING_MPU_WRAPPERS == 1 )\r
+ xMPU_SETTINGS xDummy2;\r
+ #endif\r
+ StaticListItem_t xDummy3[ 2 ];\r
+ UBaseType_t uxDummy5;\r
+ void *pxDummy6;\r
+ uint8_t ucDummy7[ configMAX_TASK_NAME_LEN ];\r
+ #if ( ( portSTACK_GROWTH > 0 ) || ( configRECORD_STACK_HIGH_ADDRESS == 1 ) )\r
+ void *pxDummy8;\r
+ #endif\r
+ #if ( portCRITICAL_NESTING_IN_TCB == 1 )\r
+ UBaseType_t uxDummy9;\r
+ #endif\r
+ #if ( configUSE_TRACE_FACILITY == 1 )\r
+ UBaseType_t uxDummy10[ 2 ];\r
+ #endif\r
+ #if ( configUSE_MUTEXES == 1 )\r
+ UBaseType_t uxDummy12[ 2 ];\r
+ #endif\r
+ #if ( configUSE_APPLICATION_TASK_TAG == 1 )\r
+ void *pxDummy14;\r
+ #endif\r
+ #if( configNUM_THREAD_LOCAL_STORAGE_POINTERS > 0 )\r
+ void *pvDummy15[ configNUM_THREAD_LOCAL_STORAGE_POINTERS ];\r
+ #endif\r
+ #if ( configGENERATE_RUN_TIME_STATS == 1 )\r
+ uint32_t ulDummy16;\r
+ #endif\r
+ #if ( configUSE_NEWLIB_REENTRANT == 1 )\r
+ struct _reent xDummy17;\r
+ #endif\r
+ #if ( configUSE_TASK_NOTIFICATIONS == 1 )\r
+ uint32_t ulDummy18;\r
+ uint8_t ucDummy19;\r
+ #endif\r
+ #if ( tskSTATIC_AND_DYNAMIC_ALLOCATION_POSSIBLE != 0 )\r
+ uint8_t uxDummy20;\r
+ #endif\r
+\r
+ #if( INCLUDE_xTaskAbortDelay == 1 )\r
+ uint8_t ucDummy21;\r
+ #endif\r
+ #if ( configUSE_POSIX_ERRNO == 1 )\r
+ int iDummy22;\r
+ #endif\r
+} StaticTask_t;\r
+\r
+/*\r
+ * In line with software engineering best practice, especially when supplying a\r
+ * library that is likely to change in future versions, FreeRTOS implements a\r
+ * strict data hiding policy. This means the Queue structure used internally by\r
+ * FreeRTOS is not accessible to application code. However, if the application\r
+ * writer wants to statically allocate the memory required to create a queue\r
+ * then the size of the queue object needs to be know. The StaticQueue_t\r
+ * structure below is provided for this purpose. Its sizes and alignment\r
+ * requirements are guaranteed to match those of the genuine structure, no\r
+ * matter which architecture is being used, and no matter how the values in\r
+ * FreeRTOSConfig.h are set. Its contents are somewhat obfuscated in the hope\r
+ * users will recognise that it would be unwise to make direct use of the\r
+ * structure members.\r
+ */\r
+typedef struct xSTATIC_QUEUE\r
+{\r
+ void *pvDummy1[ 3 ];\r
+\r
+ union\r
+ {\r
+ void *pvDummy2;\r
+ UBaseType_t uxDummy2;\r
+ } u;\r
+\r
+ StaticList_t xDummy3[ 2 ];\r
+ UBaseType_t uxDummy4[ 3 ];\r
+ uint8_t ucDummy5[ 2 ];\r
+\r
+ #if( ( configSUPPORT_STATIC_ALLOCATION == 1 ) && ( configSUPPORT_DYNAMIC_ALLOCATION == 1 ) )\r
+ uint8_t ucDummy6;\r
+ #endif\r
+\r
+ #if ( configUSE_QUEUE_SETS == 1 )\r
+ void *pvDummy7;\r
+ #endif\r
+\r
+ #if ( configUSE_TRACE_FACILITY == 1 )\r
+ UBaseType_t uxDummy8;\r
+ uint8_t ucDummy9;\r
+ #endif\r
+\r
+} StaticQueue_t;\r
+typedef StaticQueue_t StaticSemaphore_t;\r
+\r
+/*\r
+ * In line with software engineering best practice, especially when supplying a\r
+ * library that is likely to change in future versions, FreeRTOS implements a\r
+ * strict data hiding policy. This means the event group structure used\r
+ * internally by FreeRTOS is not accessible to application code. However, if\r
+ * the application writer wants to statically allocate the memory required to\r
+ * create an event group then the size of the event group object needs to be\r
+ * know. The StaticEventGroup_t structure below is provided for this purpose.\r
+ * Its sizes and alignment requirements are guaranteed to match those of the\r
+ * genuine structure, no matter which architecture is being used, and no matter\r
+ * how the values in FreeRTOSConfig.h are set. Its contents are somewhat\r
+ * obfuscated in the hope users will recognise that it would be unwise to make\r
+ * direct use of the structure members.\r
+ */\r
+typedef struct xSTATIC_EVENT_GROUP\r
+{\r
+ TickType_t xDummy1;\r
+ StaticList_t xDummy2;\r
+\r
+ #if( configUSE_TRACE_FACILITY == 1 )\r
+ UBaseType_t uxDummy3;\r
+ #endif\r
+\r
+ #if( ( configSUPPORT_STATIC_ALLOCATION == 1 ) && ( configSUPPORT_DYNAMIC_ALLOCATION == 1 ) )\r
+ uint8_t ucDummy4;\r
+ #endif\r
+\r
+} StaticEventGroup_t;\r
+\r
+/*\r
+ * In line with software engineering best practice, especially when supplying a\r
+ * library that is likely to change in future versions, FreeRTOS implements a\r
+ * strict data hiding policy. This means the software timer structure used\r
+ * internally by FreeRTOS is not accessible to application code. However, if\r
+ * the application writer wants to statically allocate the memory required to\r
+ * create a software timer then the size of the queue object needs to be know.\r
+ * The StaticTimer_t structure below is provided for this purpose. Its sizes\r
+ * and alignment requirements are guaranteed to match those of the genuine\r
+ * structure, no matter which architecture is being used, and no matter how the\r
+ * values in FreeRTOSConfig.h are set. Its contents are somewhat obfuscated in\r
+ * the hope users will recognise that it would be unwise to make direct use of\r
+ * the structure members.\r
+ */\r
+typedef struct xSTATIC_TIMER\r
+{\r
+ void *pvDummy1;\r
+ StaticListItem_t xDummy2;\r
+ TickType_t xDummy3;\r
+ void *pvDummy5;\r
+ TaskFunction_t pvDummy6;\r
+ #if( configUSE_TRACE_FACILITY == 1 )\r
+ UBaseType_t uxDummy7;\r
+ #endif\r
+ uint8_t ucDummy8;\r
+\r
+} StaticTimer_t;\r
+\r
+/*\r
+* In line with software engineering best practice, especially when supplying a\r
+* library that is likely to change in future versions, FreeRTOS implements a\r
+* strict data hiding policy. This means the stream buffer structure used\r
+* internally by FreeRTOS is not accessible to application code. However, if\r
+* the application writer wants to statically allocate the memory required to\r
+* create a stream buffer then the size of the stream buffer object needs to be\r
+* know. The StaticStreamBuffer_t structure below is provided for this purpose.\r
+* Its size and alignment requirements are guaranteed to match those of the\r
+* genuine structure, no matter which architecture is being used, and no matter\r
+* how the values in FreeRTOSConfig.h are set. Its contents are somewhat\r
+* obfuscated in the hope users will recognise that it would be unwise to make\r
+* direct use of the structure members.\r
+*/\r
+typedef struct xSTATIC_STREAM_BUFFER\r
+{\r
+ size_t uxDummy1[ 4 ];\r
+ void * pvDummy2[ 3 ];\r
+ uint8_t ucDummy3;\r
+ #if ( configUSE_TRACE_FACILITY == 1 )\r
+ UBaseType_t uxDummy4;\r
+ #endif\r
+} StaticStreamBuffer_t;\r
+\r
+/* Message buffers are built on stream buffers. */\r
+typedef StaticStreamBuffer_t StaticMessageBuffer_t;\r
+\r
#ifdef __cplusplus\r
}\r
#endif\r