[U-Boot] u-boot for loading RTOS instead of Linux

[BOULAMAIL Nihad]

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 ?


Thank you
ᐧ