On Sun, Jul 09, 2017 at 05:06:17AM +0200, BOULAMAIL Nihad wrote:

Hello,

I wishb to run this RTOS: https://github.com/trampolinertos/trampoline, on Zedboard having these files on SD card.

SD_ROOT/ boot.bin devicetree.dtb uImage uramdisk.image.gz

How can I build u-boot and dtb for this RTOS and make u-boot load the rtos instead of Linux ?

In general, you can either 'go' at a raw binary or if you have a valid ELF application, you can bootelf it.