FreeRTOS kernel, distributed as standard C source files with configuration header file, for use with the PSoC 6 MCU. - View it on GitHub