title: Burning the image generated by building the freeRTOS onto raspberry pi
body: <p>I have build it using this git-hub repo <a href="https://github.com/jameswalmsley/RaspberryPi-FreeRTOS" rel="nofollow noreferrer">https://github.com/jameswalmsley/RaspberryPi-FreeRTOS</a>
  Then pasted the kernel.img generated by building the freeRTOSto the sd card which earlier contained raspbian, replacing its existing kernel.img file.
  But this doesn't seem to work. I connected my raspberry pi to a monitor and it displays a colored screen.</p>
  
  <p>Is there any fix for this?? Please help</p>