I am quite new to rasberry so maybe I am falling on some simple error. I want to run FreeRtos on a Raspberry Pi 2 Model B V1.1.
I have succesfully compiled the FreeRTOS port for Raspberry obtained from this link:
https://github.com/jameswalmsley/RaspberryPi-FreeRTOS
I get as a result five files: kernel.elf, kernel.img, kernel.list, kernel.map and kernel.syms.
I have copied these files to the boot partition of the sd card that runs the rasberry, overwriting the original kernel.img.
I have checked that the led works connecting it to the ground and 3.3v pins.
The demo is supposed, as long as I have understand, to activate pin 16, where I have set a led light. When I plug the board I cannot see the led lighting. Any idea about what I am doing wrong?
UPDATED: As suggested by Joan, the problem has been solved by using a later fork of the project: