seL4

Performance

This page displays the latest benchmark numbers for seL4 from the publicly available sel4bench repository.

BenchmarkSabre I.mx6 (Cortex A9 @1GHz)IA32 SkyLake @3.4GHzX64 SkyLake @3.4GHzJetson TK1 (Cortex A15 @700MHz)
IRQ path cycle count6579671667917
IPC microbenchmark, client->server917.57331480955.5
IPC microbenchmark, server->client306216776554

RepositoryCommit
GitHub sel4bench-manifest0779f18386be2258af1f2a75c9de3698d9b6d57e
IRQ path cycle count
Time in cycles to deliver an interrupt to user space, where a context switch is not needed.
IPC benchmark, client->server
Time in cycles for half an IPC between address spaces.
IPC Benchmark, server->client
Time in cycles for the IPC reply between address spaces.