| Benchmark | Cycles | (1) |
| Interrupt Latency | 839 | |
| Hwi_restore() | 22 | |
| Hwi_disable() | 30 | |
| Hwi dispatcher prolog | 552 | |
| Hwi dispatcher epilog | 241 | |
| Hwi dispatcher | 788 | |
| Hardware Interrupt to Blocked Task | 1047 | |
| Hardware Interrupt to Software Interrupt | 803 | |
| Swi_enable() | 158 | |
| Swi_disable() | 4 | |
| Post Software Interrupt Again | 65 | |
| Post Software Interrupt without Context Switch | 170 | |
| Post Software Interrupt with Context Switch | 231 | |
| Create a New Task without Context Switch | 1572 | |
| Set a Task Priority without a Context Switch | 200 | |
| Task_yield() | 312 | |
| Post Semaphore, No Waiting Task | 80 | |
| Post Semaphore No Task Switch | 280 | |
| Post Semaphore with Task Switch | 389 | |
| Pend on Semaphore, No Context Switch | 80 | |
| Pend on Semaphore with Task Switch | 336 | |
| Clock_getTicks() | 16 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following compiler options: "--endian=little -mv7A8 --abi=eabi --neon --float_support=vfpv3 -q -ms --opt_for_speed=2 --program_level_compile -o3".
Timings were obtained using the evmAM3359 development board with the cache enabled.