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 count6319231488908
IPC microbenchmark, client->server929.57081465895
IPC microbenchmark, server->client304210780553

GitHub sel4bench-manifestfd030ec5754dee127a444801ca538325fe03ad02
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.