FreeRTOS kernel, distributed as standard C source files with configuration header file. - View it on GitHub