mirror of
https://github.com/FreeRTOS/FreeRTOS-Plus-TCP
synced 2025-10-20 22:10:04 +08:00

* Update release version * Updating FreeRTOS-Kernel used for unit tests to the latest and manifest wiht latest kernel version * Add dummy header files included with latest kernel MSVC port to run CBMC