I am working with the launch pad demo board LAUNCHXL-F28377S. I am setting up a SYS-BIOS application and somehow my timer does not seem to be correct. I cannot find much info on how to set up the bios tick timer in the cfg file for the app. There are oscillators and CPU speed and none of these make sense to me given this is a 200 Mhz micro. The CPU speed indicate 5 MHZ. Is there a sample SYS-BIOS app for the launch pad that I can look at or can you tell me what these settings should be?