| Benchmark | Cycles | (1) |
| Interrupt latency | 135 | |
| Hwi_enable | 2 | |
| Hwi_disable | 2 | |
| Hwi dispatcher prolog | 142 | |
| Hwi dispatcher epilog | 220 | |
| Hwi dispatcher | 360 | |
| Hardware Interrupt to Blocked Task | 529 | |
| Hardware Interrupt to Software Interrupt | 342 | |
| Swi_enable | 62 | |
| Swi_disable | 13 | |
| Post Software Interrupt Again | 45 | |
| Post Software Interrupt without Context Switch | 92 | |
| Post Software Interrupt with Context Switch | 155 | |
| Create a New Task without Context Switch | 1622 | |
| Set a Task Priority without a Context Switch | 202 | |
| Task_yield | 189 | |
| Post Semaphore, No Waiting Task | 55 | |
| Post Semaphore No Task Switch | 176 | |
| Post Semaphore with Task Switch | 243 | |
| Pend on Semaphore, No Context Switchi | 54 | |
| Pend on Semaphore with Task Switch | 219 | |
| Clock_getTicks | 13 | |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "-mv=tesla --abi=eabi -mi10 -mo -pdr -pden -pds=238 -pds=880 -pds1110 --program_level_compile -o3".
Timings were obtained using the flat memory model OMAP4 Tesla Megamodule Functional Simulator