I am trying to use the Timer module of Sys/Bios 6.35.4.50 for the AM335X in CCS613 to create a triggerable oneshot timer delay function. The project compiles and runs but I cannot seem to get the timer function to trigger. If I change the Bios Timer config to continuous, the timer does trigger continuously and my callback function is called OK. But if I set the timer property to oneshot then call Timer_start() it does not trigger. I saw a reference to a Timer_trigger() API function, which compiles but crashes. and there is no Help on this in the API reference. Also, the ARM Bios API reference lists no Timer_trigger() function. So what is the correct way to use a Bios timer as a oneshot and trigger it from within a HWI() ISR function? There is very little help available it seems on this Timer module.