OKL4 Supported Platforms

The current release of OKL4 (2.1) supports the following development platforms:

ARMv5 Architecture

• Gumstix - a pxa250 SoC with an ARMv5 based XScale CPU core

• GTA01 - a s3c2410 SoC with an ARMv4 based ARM920T CPU core (used by the FIC Neo1973 'openmoko' phone)

ARMv6 Architecture

• KZM - a i.MX31 SoC with an ARMv6 based ARM1136 CPU core

IA32 Architecture

• PC99 - the standard IA32 platform

Hardware Simulation

In addition to the hardware platforms listed above, software simulation of the Gumstix, GTA and PC99 platforms are also supported.