NICTA's ERTOS team is proud to release LMBench performance figures for Wombat, our architecture-independent para-virtualized Linux running on L4-embedded/Iguana. The benchmarks show that Wombat's context-switching overheads are up to thirty times lower than those of native Linux on an XScale processor.
This result, which is due to Wombat benefiting from the fast-context-switching support provided by NICTA's L4-embedded, demonstrates that L4-embedded/Iguana is the leading high-performance microkernel and embedded virtualisation technology, particularly on ARM processors.
For details see http://ertos.nicta.com.au/news/home.pml#v-gt-r
Gernot