[U-Boot] What file formats can be loaded and launched by u-boot

[Misbah]

Hello All,

 

I have an RTOS compiled for ARM cotex-A9 generating .out file format.

 

How can I use u-boot.bin to download the RTOS image from an SD card "FAT32
formatted" and launch the RTOS kernel

 

Can you please share your views.

 

Regards,

Misbah