| Benchmark | Cycles | (1) |
| Interrupt Latency | 178 | |
| Hwi_restore() | 2 | |
| Hwi_disable() | 3 | |
| Hwi dispatcher prolog | 115 | |
| Hwi dispatcher epilog | 124 | |
| Hwi dispatcher | 246 | |
| Hardware Interrupt to Blocked Task | 400 | |
| Hardware Interrupt to Software Interrupt | 252 | |
| Swi_enable() | 61 | |
| Swi_disable() | 13 | |
| Post Software Interrupt Again | 57 | |
| Post Software Interrupt without Context Switch | 71 | |
| Post Software Interrupt with Context Switch | 144 | |
| Create a New Task without Context Switch | 1394 | |
| Set a Task Priority without a Context Switch | 139 | |
| Task_yield() | 184 | |
| Post Semaphore, No Waiting Task | 50 | |
| Post Semaphore No Task Switch | 173 | |
| Post Semaphore with Task Switch | 221 | |
| Pend on Semaphore, No Context Switch | 45 | |
| Pend on Semaphore with Task Switch | 231 | |
| Clock_getTicks() | 13 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "-mv6600 --abi=eabi -mi10 -mo -pdr -pden -pds=238 -pds=880 -pds1110 --program_level_compile -o3".
Timings were obtained using the evm6678 with cache enabled.