FreeRTOS-Kernel
FreeRTOS-Kernel copied to clipboard
FreeRTOS
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
Description ----------- **DEPRECATE:** CMake: `FREERTOS_CONFIG_FILE_DIRECTORY` configuration and replace it with expected library `freertos_config` Rationale - some configuration settings can now be added to the `freertos_config` target eg: ```cmake target_compile_definitions(freertos_config INTERFACE...
Add check for empty list to listGET_OWNER_OF_NEXT_ENTRY Description ----------- listGET_OWNER_OF_NEXT_ENTRY uses uninitialized memory if the passed list is empty (only has the list end marker). While all uses of this...
Fix eTaskGetState for pending ready tasks Description ----------- The description of the `eReady` enum is inclusive of tasks that are pending ready ```c eReady, /* The task being queried is...
Hello, We love the Posix port! This allows us to run our embedded application from the Linux command line. It would be nice if we could see the individual thread...
**Problem:** The method of using `FREERTOS_CONFIG_FILE_DIRECTORY` limits the integration and what is included in the `FreeRTOSConfig.h` file. With this method a user of FreeRTOS-Kernel cannot include or link other libraries...
Description ----------- When time slicing is off, context switch should only happen when a task with priority higher than the currently executing one is unblocked. Earlier the code was invoking...
Please add support for the ARM Cortex-A78AE.
Arraylist task queue Description ----------- Gives an array-back implementation of lists. The new implementation does not modify the list interface. Test Steps ----------- Runs with CBMC proofs. Have not tried...
PR #543 adds RV32E support to the GCC port. Please add the same support to the IAR port.
**Is your feature request related to a problem? Please describe.** We found out after months that some function which is called in ISR was missing fromISR postfix. But application start...
