TMDS64EVM: Create image to boot from SD card

Part Number: TMDS64EVM

Hello:

I need to create image to boot from SD card. There is exampe for flashing to the EVM flash 

https://software-dl.ti.com/mcu-plus-sdk/esd/AM64X/latest/exports/docs/api_guide_am64x/GETTING_STARTED_FLASH.html

But I need example for flashing to SD card.  Here is what I get from AI:

 

CCS Debug SD Card
 
tiboot3.bin = sbl_null
→ Init only
→ No application
 
Standalone SD Boot
 
tiboot3.bin = real SBL
appimage
→ Init hardware
→ Load application
→ Run application
 
 
I am able to find the real SBL, but not sure the binary and the right name for the binary.
 
Look forward to your instructuon.  Thanks
 
Yuquan