mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-07-12 16:16:13 +02:00
* Adjust portPOINTER_SIZE_TYPE to correct size portPOINTER_SIZE_TYPE wasn't yet set correctly to be 16 bit * Fixed FreeRTOS file header to comply with automatic checks Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>