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

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