Some benchmarks

Metric (Lower is Better)	Linux (PREEMPT_RT)	FreeRTOS	seL4	L4Re/Fiasco.OC	Q1-Kernel
1. Inter-Process Communication (IPC)	2.0 – 4.5	1.5 – 3.0	0.5 – 1.0	0.3 – 0.7	0.80 – 1.3
2. Process Context Switch	1.5 – 3.0	1.0 – 2.5	0.8 – 1.8	0.7 – 1.4	1.5 – 2.0
3. Worst-Case Interrupt Latency (WCIL)	10 – 50	5 – 15	5 – 20	10 – 30	20 – 30
4. Process Creation Time	50 – 200	N/A	20 – 50	15 – 40	40 – 60
5. Syscall Overhead (Null Call)	0.2 – 0.4	N/A	0.1 – 0.3	0.1 – 0.3	0.2 – 0.3