现在使用C6748开发，需要使用sysbios6。在SYSBIOS6中需要使用某一个timer来驱动系统时钟，在sysbios的cfg文件中，clock模块有下图所示的配置界面，可以启动timer来驱动clock_tick()，并设置具体的timer模块编号及相邻clock_tick()间隔等参数。
另外在创建Custom Platform文件过程中，存在下图所示的配置界面，其中需要标定CPU内核运行频率。
Sysbios是否通过上述的两大类信息会自动完成对应timer的配置，还是需要在用户程序中对timer进行对应配置操作？
