Lines Matching +full:freertos +full:- +full:kernel

3 FreeRTOS-Kernel conforms to [MISRA C:2012](https://www.misra.org.uk/misra-c)
5 Coverity static analysis. Since the FreeRTOS kernel is designed for
6 small-embedded devices, it needs to have a very small memory footprint and
18 grep 'MISRA Ref 8.4.1' . -rI
27  - pxCurrentTCB(s) is defined with external linkage but it is only referenced
33  - xQueueRegistry is defined with external linkage because it is accessed by the
34    kernel unit tests. It is not meant to be directly accessed by the application
43  - This rule prohibits an identifier with external linkage to have multiple
44    definitions or no definition. FreeRTOS hook functions are implemented in
45    the application and therefore, have no definition in the Kernel code.
52  - The pointer to function is casted into void to avoid unused parameter
62  - This rule prohibits casting a pointer to object into a pointer to a
66    used to access an object. FreeRTOS deliberately creates external aliases
67    for all the kernel object types (StaticEventGroup_t, StaticQueue_t,
83  - The memory blocks returned by pvPortMalloc() are guaranteed to meet the
89  - The conversion from a pointer to void into a pointer to EventGroup_t is
95  - The conversion from a pointer to void in list macros for list item owner
100  - The conversion from a pointer to void into a pointer to EventGroup_t is
106  - The conversion from a pointer to void into a pointer to uint8_t is safe
112 MISRA C-2012 Rule 21.6: The Standard Library input/output functions shall not
116  - The Standard Library function snprintf is used in vTaskListTasks and
118    are not considered part of core kernel implementation.