<div dir="ltr">The RKI image and other RTEMS examples work on the RPI2. When I build for the raspberrypi2 BSP, I have to copy the rki.bin ( or other example image ) to kernel7.img on the SD card. No other conversion should be required. <div><br></div><div>I recently tested the RKI image on the RPI2, so it should work. </div><div><br></div><div>Also, make sure the firmware files on the SD card are up to date. My main RTEMS Raspberry Pi target is a Model A+. When I received a Raspberry Pi Zero, RTEMS would not boot when I just put my micro-sd card from the A+. I had to get the latest firmware files then copy rki.bin to kernel.img.. After that the Zero worked fine. </div><div><br></div><div>I want to double check that the firmware files from this repo will work on all models with RTEMS:</div><div><a href="https://github.com/raspberrypi/firmware/tree/master/boot">https://github.com/raspberrypi/firmware/tree/master/boot</a><br></div><div><br></div><div>If it works, then it will be easier than using an existing Linux installation for the SD card.</div><div><br></div><div>Alan</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 24, 2016 at 10:35 AM, Pavel Pisa <span dir="ltr"><<a href="mailto:ppisa4lists@pikron.com" target="_blank">ppisa4lists@pikron.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello Mudit,<br>
<div><div class="h5"><br>
<br>
On Tuesday 24 of May 2016 16:17:07 Mudit Jain wrote:<br>
> Hi Pavel,<br>
><br>
> I have pulled your branch and I am able to build the rki.bin using the<br>
> following commands.<br>
><br>
> mkdir b-rpi2<br>
> cd b-rpi2<br>
> ../rtems/configure --target=arm-rtems4.12 --prefix=$sandbox/rtems-4.12<br>
>  --enable-rtems-inlines --disable-multiprocessing --enable-cxx<br>
> --enable-rdbg --enable-maintainer-mode --enable-tests=samples<br>
> --enable-networking --enable-posix --disable-itron --disable-ada<br>
> --disable-expada --disable-multilib --disable-docs<br>
>  --enable-rtemsbsp="raspberrypi2"<br>
> make<br>
> make install<br>
> cd ../rki<br>
> waf configure --rtems=$sandbox/rtems-4.12<br>
> --rtems-tools=/home/mudit/Desktop/sandbox/rtems-4.12 --rtems-version=4.12<br>
> --rtems-bsps=arm/raspberrypi2<br>
> waf<br>
><br>
> It succesfully builds rki.bin.<br>
> This binary is renamed and put in as kernel.img.<br>
><br>
> I previously had an image of raspbian-jessie-lite on the card. I replaced<br>
> the kernel.img in the boot partition with the kernel.img that was prepared<br>
> by the above process.<br>
> It had deleted the previous kernel.img and still it was somehow booting<br>
> into raspbian.<br>
><br>
> Raspbian Jessie Lite was downloaded from -<br>
> <a href="https://www.raspberrypi.org/downloads/raspbian/" rel="noreferrer" target="_blank">https://www.raspberrypi.org/downloads/raspbian/</a><br>
><br>
> Is the hash of the kernel saved, and during the boot up process, if the<br>
> kernel is not authenticated, then a backup kernel takes over ?<br>
><br>
<br>
</div></div>if I remember well then RPi2 boots kernel7.img by default.<br>
But you can specify image in "config.txt" file. Comment<br>
old kernel line (if found there) by prepending a hash character '#'.<br>
Then set<br>
<br>
  kernel=ticker.bin<br>
<br>
or ticker.img. On Rpi 1 exact one to one copy of memory from 0x8000 is<br>
included in ticker.bin. I am not sure about RPi2, because it boots<br>
linux packed in zImage by default. So I am not sure if plain binary<br>
file can be booted. If the real zImage is required then there<br>
is "mkknlimg" utility which could help, is referenced in some<br>
U-boot for RPi2 discussion, but I am not sure if it is the right tool.<br>
Other option is to use Linux kernel sources for bzImage decompressor<br>
shim.<br>
<br>
It is a question for the other developers and contributors<br>
who worked on RETEM for RPi2 already. I have not been in contact<br>
with them, my last GSoC student and I have tested RTEMS<br>
only on RPi version 1.<br>
<br>
Probably Alan Cudmore knows more about BSP state and testing<br>
on RPi2.<br>
<br>
best wishes,<br>
<br>
             Pavel<br>
<br>
<br>
<br>
<br>
<br>
<br>
</blockquote></div><br></div>