FreeRTOS Support Archive

The FreeRTOS support forum can be used for active support both from Amazon Web Services
and the community. In return for using our software for
free, we request you play fair and do your bit to help others! Sign up
to receive notifications of new support topics then help where you can.

This is a read only archive of threads posted to the FreeRTOS support forum.
The archive is updated every week, so will not always contain the very latest posts.
Use these archive pages to search previous posts. Use the Live FreeRTOS Forum
link to reply to a post, or start a new support thread.

FreeRtos porting to Raspberry Pi 3

I am trying to port the FreeRtos with RPI 3 , so i followed the steps provided in the below link

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

After successful build , we replaced /boot/kernal.img with the new kernal.img which we generated and when we booted ,still we are able to see only the raspbian os instead of FreeRtos
Please help us to overcome this issue , is anything has to be done extra
Note:
Whether we can Port FreeRtos with Raspberry pi 3???
please Help

Regards
Sakthi

FreeRtos porting to Raspberry Pi 3

Just like the last post I replied to, I'm afraid you are using third
party code on an architecture we don't support ourselves - so I'm afraid
I don't know where to start in replying. The only thing I could do is
to obtain the board, tools and third party code myself and try it ....
and that would take a long time.