FreeRTOS on Raspberry Pi

jordiblasi wrote on Monday, May 16, 2016:

Hi,

I have just compiled succesfully the FreeRTOS port for Raspberry Pi obtained from here:

https://github.com/jameswalmsley/RaspberryPi-FreeRTOS

I have copied the kernel.elf, kernel.img, kernel.list, kernel.map and kernel.syms files obtained from this process to the /boot partition of the micro SD card running the raspberry. I have placed a led light betwen the GPIO16 and Ground pins (as I understand these are the ones activated by the demo) but I cannot see it blinking. What I am doing wrong?

thanks in advance.

rtel wrote on Monday, May 16, 2016:

Sorry - we have no idea, having never used the RaspberryPi ourselves,
and do not provide the code you are referring to ourselves either. Try
contacting James Walmsley, who provides the code you link to, as well as
other neat FreeRTOS based projects.

jordiblasi wrote on Tuesday, May 17, 2016:

I have managed to compile and run this fork:

https://github.com/Forty-Tw0/RaspberryPi-FreeRTOS

It works on newest versions of Raspberry.

rtel wrote on Tuesday, May 17, 2016:

Great - and thanks for the link.