| Benchmark | Cycles | (1) |
| Interrupt latency | 115 | |
| Hwi_enable | 3 | |
| Hwi_disable | 6 | |
| Hwi dispatcher prolog | 127 | |
| Hwi dispatcher epilog | 132 | |
| Hwi dispatcher | 254 | |
| Hardware Interrupt to Blocked Task | 419 | |
| Hardware Interrupt to Software Interrupt | 269 | |
| Swi_enable | 71 | |
| Swi_disable | 10 | |
| Post Software Interrupt Again | 28 | |
| Post Software Interrupt without Context Switch | 90 | |
| Post Software Interrupt with Context Switch | 158 | |
| Create a New Task without Context Switch | 1557 | |
| Set a Task Priority without a Context Switch | 175 | |
| Task_yield | 177 | |
| Post Semaphore, No Waiting Task | 41 | |
| Post Semaphore No Task Switch | 164 | |
| Post Semaphore with Task Switch | 218 | |
| Pend on Semaphore, No Context Switchi | 58 | |
| Pend on Semaphore with Task Switch | 214 | |
| Clock_getTicks | 9 | |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "-me -mv5e --abi=eabi -ms --opt_for_speed=2 --program_level_compile -o3".
Timings were obtained using the flat memory model ARM926EJ-S Cycle Accurate Simulator.