<div dir="ltr">I just tried the firmware in the repository above ( did not realize the whole git repo was over 3 gigs! ) <div><br></div><div>I backed up my RTEMS pi SD card and copied the contents of the firmware "boot" directory to my card. I replaced kernel.img and kernel7.img with my RKI images for the Pi and Pi2.</div><div><br></div><div>RTEMS boots on my Pi Model A+, but not on the 2. Same RTEMS images that booted on my old card.</div><div><br></div><div>My old card boot directory is based off of a NOOBS installation.  I'll have to investigate more.. Maybe I can upload my SD card contents to my github account ( I think that would be OK with the license, since the official firmware is on github as well ) </div><div><br></div><div>Alan</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 25, 2016 at 9:30 PM, Alan Cudmore <span dir="ltr"><<a href="mailto:alan.cudmore@gmail.com" target="_blank">alan.cudmore@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"> 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.<div><br></div><div>I used these options to build RTEMS: </div><div><div>../../rtems-git/configure --target=arm-rtems4.12 \</div><div>--enable-rtemsbsp="raspberrypi2 raspberrypi" \</div><div>--enable-tests=samples \</div><div>--enable-networking \</div><div>--enable-posix \</div><div>--prefix=$HOME/rtems/bsps/4.12 \</div><div>I2C_IO_MODE=1 \</div><div>SPI_IO_MODE=1</div></div><div><br></div><div>It could be the firmware that is on your SD card.</div><div><br></div><div>Next, I'm going to try to download the firmware repository from here:</div><div><a href="https://github.com/raspberrypi/firmware/tree/master/boot" target="_blank">https://github.com/raspberrypi/firmware/tree/master/boot</a><br></div><div><br></div><div>And I will see if I can replace kernel.img for the Pi A+/Zero and kernel7.img for the Pi2. </div><div><br></div><div>If this works, then we dont have to rely on a pre-existing linux distribution to make the Pi boot.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Alan</div><div><br></div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 25, 2016 at 8:04 AM, Mudit Jain <span dir="ltr"><<a href="mailto:muditjain18011995@gmail.com" target="_blank">muditjain18011995@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>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. <br><br></div>The attachment contains the commands used for installing RTEMS and logs from RKI image creation for RPI2<br><div><div><br></div></div></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>