forked from epagris/FreeRTOS-Kernel
* Apply git review patch created by @aggargr * Add necessary changes to the CMakeLists.txt file to build the port
* Apply git review patch created by @aggargr * Add necessary changes to the CMakeLists.txt file to build the port