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

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 ᐧ