Could you tell me what is the rt smart OS? Is it contain a bootloader like u-boot?
For your reference, we support Linux kernel and u-boot. You may read the i.MX Linux User’s Guide for how to program the image to the board.
BSP release web page.