ARM Architecture© 2002–2003 University of New South Wales
© 2004–2006 National ICT Australia
© 2006–2007 Open Kernel Labs
Supported KernelsThe L4Ka::Pistachio kernel offers support for the ARM v4/v5 architectures. This includes support for ARM Fast Address Space Switching (FASS) which dramatically improves context switching time.
See l4ka.org for more information about L4Ka::Pistachio.
The ARM port currently runs on the following platforms:
OKL4Open Kernel Labs (OK) provides a comercial derivative of the L4Ka::Pistachio kernel for embedded systems called OKL4 and an operating system support layer, Iguana. It supports a variety of ARMv4, ARMv5 and ARMv6 processors and porting to other processors is possible in a short period of time.
This kernel has an optimized IPC path and extensions providing fast context switches. Benchmarks have measured 151 cycles each way on inter-address space IPC on a 400MHz Intel XScale PXA255. This gives a 0.38 microseconds IPC time between different address spaces.
OK also provides virtualized Linux and RTOS (eCos and other) support. Wombat, the Linux 2.6 verion on OKL4, has much better context switching performance than native Linux on ARM9 CPUs due to fast-context-switching support. Wombat is an OK-maintained port of Linux 2.6, which runs on this kernel.