RKI Image for Raspberry PI 2

[Alan Cudmore]

 A couple of days ago, I created a new Ubuntu 16.04 virtual machine, built
the RSB toolchain ( same version as in your log ) and built the RKI image
for sparc/sis, raspberrypi, and raspberrypi2. They all work for me.

I used these options to build RTEMS:
../../rtems-git/configure --target=arm-rtems4.12 \
--enable-rtemsbsp="raspberrypi2 raspberrypi" \
--enable-tests=samples \
--enable-networking \
--enable-posix \
--prefix=$HOME/rtems/bsps/4.12 \
I2C_IO_MODE=1 \
SPI_IO_MODE=1

It could be the firmware that is on your SD card.

Next, I'm going to try to download the firmware repository from here:
https://github.com/raspberrypi/firmware/tree/master/boot

And I will see if I can replace kernel.img for the Pi A+/Zero and
kernel7.img for the Pi2.

If this works, then we dont have to rely on a pre-existing linux
distribution to make the Pi boot.

Alan


On Wed, May 25, 2016 at 8:04 AM, Mudit Jain <muditjain18011995 at gmail.com>
wrote:

> 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/5f2e3136/attachment.html>