IBASE SMARC-EVK1 - Manual (Page 65)

Copyright © 2013 IBASE Technology Inc. All Rights Reserved.
39 IBASE Technology Inc.
5.1.7. Booting with your SD card
Put SD card in your board and adjust DIP switch to boot from SD. Connect a debug cable to debug port
with serial port 115200/N/8/1 setting on your PC’s serial port program such hyperterminal/teraterm.
Connect a 1080p HDMI monitor to hdmi port. Power on and you will see u-boot prompt.
At u-boot prompt, press Enter before time out. Type the following setting to boot from SD card +
HDMI:
setenv bootcmd_mmc 'run bootargs_base bootargs_mmc; mmc dev 1; mmc read ${loadaddr} 0x800
0x2000; bootm'
setenv bootargs_mmc 'setenv bootargs ${bootargs} root=/dev/mmcblk1p1 rootwait ldo_active=on rw
video=mxcfb0:dev=hdmi,1920x1080M@60,if=RGB24 fbmem=28M rootfstype=ext4'
saveenv
After that, prepare your HDMI LCD, power off and power on again.
You can see Ubuntu Linux is running on hdmi monitor.