I am trying to port the FreeRtos with RPI 3 , so i followed the steps provided in the below link
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
Whether we can Port FreeRtos with 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.