各位爱好者：
大家好。我现在手里有一款TI公司的TMDXLCDK6748的开发板，想做BIOS开发，跑SYS/BIOS，使用CCS V5.1进行设置，新建工程时，有个页面进行RTSC配置，其中有一项是进行platform，我应该选择什么，里面有一项是ti.platforms.evm6748，还有一项是ti.platforms.evmOMAPL138，和C6748的芯片有关，但我觉得都不怎么合适，毕竟我的开发板为TMDXLCDK6748，之前在新建工程时，有个Variant选项，里面选的是LCDKC6748，是不是我有什么软件没安装啊？
