Macrobenchmarks
Look at Figures 7-9. L4Linux comes within 5-10% of Linux performance for AIM Benchmark (uses shared
libc.so
).