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
log.25.05
Description: Binary data
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel