RKI Image for Raspberry PI 2

Mudit Jain muditjain18011995 at gmail.com
Wed May 25 12:04:46 UTC 2016

As suggested by Alan, I did copy the image, rki.bin to kernel7.img, However
rtems doesn't boot in RPi 2 . For the same firmware I tried with the
raspbian kernel7.img, That works fine.

The attachment contains the commands used for installing RTEMS and logs
from RKI image creation for RPI2
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20160525/3543c28b/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: log.25.05
Type: application/octet-stream
Size: 4391 bytes
Desc: not available
URL: <http://lists.rtems.org/pipermail/devel/attachments/20160525/3543c28b/attachment-0002.obj>

More information about the devel mailing list