|
ProductsOur core technology is implemented in OKL4, which provides the basic microkernel and virtualization solution. |
OKL4 Software
OKL4 is presently supported on ARM v4/v5 (ARM9 and XScale cores), ARM v6 (ARM11 cores), x86 in 32- and 64-bit versions as well as MIPS32 and MIPS64. Of these, the ARM v4/v5 version is at present publicly available. Public releases of implementation for the other architectures are planned for later in the year.
Presently supported guest operating systems include OK Linux, our high-performance virtualized Linux (2.6.10) and a number of RTOSes, such as eCos. This is supported by a sophisticated build system.
Our current software download, OKL4 includes OKL4 + OK Linux, a high-performance virtualized linux (2.6.10)
Developers
Product Managers
- Learn about OK Labs virtualization
- Find out about secure, trusted computing.
- Explore our technology
roadmap
More
- Visit our
community portal
to download whitepapers and manuals
OKL4 Microkernel Technology
OKL4 is the world's most advanced microkernel, and the one with the most ambitious product roadmap.