<div dir="ltr">Hi Pavel,<br><br>I have pulled your branch and I am able to build the rki.bin using the following commands.<br><br><div style="margin-left:40px">mkdir b-rpi2<br>cd b-rpi2<br>../rtems/configure --target=arm-rtems4.12 --prefix=$sandbox/rtems-4.12  --enable-rtems-inlines --disable-multiprocessing --enable-cxx   --enable-rdbg --enable-maintainer-mode --enable-tests=samples   --enable-networking --enable-posix --disable-itron --disable-ada   --disable-expada --disable-multilib --disable-docs  --enable-rtemsbsp="raspberrypi2"<br>make<br>make install<br>cd ../rki<br>waf configure --rtems=$sandbox/rtems-4.12 --rtems-tools=/home/mudit/Desktop/sandbox/rtems-4.12 --rtems-version=4.12 --rtems-bsps=arm/raspberrypi2<br>waf<br></div><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 the kernel.img in the boot partition with the kernel.img that was prepared by the above process.<br>It had deleted the previous kernel.img and still it was somehow booting into raspbian.<br><br>Raspbian Jessie Lite was downloaded from - <a href="https://www.raspberrypi.org/downloads/raspbian/" 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 kernel is not authenticated, then a backup kernel takes over ?<br><br>Is there any detail that I am missing. ?<br><br>Thanks<br>Mudit</div>