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 count189810111471913.5
IPC microbenchmark, client->server846.5677808958
IPC microbenchmark, server->client311208620546

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