| Benchmark | Cycles | (1) |
| Interrupt Latency | 180 | |
| Hwi_restore() | 1 | |
| Hwi_disable() | 4 | |
| Hwi dispatcher prolog | 184 | |
| Hwi dispatcher epilog | 150 | |
| Hwi dispatcher | 332 | |
| Hardware Interrupt to Blocked Task | 425 | |
| Hardware Interrupt to Software Interrupt | 319 | |
| Swi_enable() | 47 | |
| Swi_disable() | 10 | |
| Post Software Interrupt Again | 17 | |
| Post Software Interrupt without Context Switch | 72 | |
| Post Software Interrupt with Context Switch | 147 | |
| Create a New Task without Context Switch | 1486 | |
| Set a Task Priority without a Context Switch | 124 | |
| Task_yield() | 148 | |
| Post Semaphore, No Waiting Task | 35 | |
| Post Semaphore No Task Switch | 127 | |
| Post Semaphore with Task Switch | 173 | |
| Pend on Semaphore, No Context Switch | 42 | |
| Pend on Semaphore with Task Switch | 206 | |
| Clock_getTicks() | 9 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "--mem_model:data=far --silicon_version=v210 -q --gen_func_subsections --program_level_compile -o3".
Timings were obtained using the ARP32 on the evmC6A8149