The download includes the kernel source code, and a demo application for EVERY RTOS port. See http://www.freertos.org/a00017.html for full details of the directory structure and information on locating the files you require. The easiest way