Welcome to the Open Kernel Labs Community Wiki
Contents
OKL4 Microvisor 4.0
The OKL4 Microvisor is designed from the ground up as a high-performance mobile virtualization platform. It is a microkernel-based embedded hypervisor - called a Microvisor, with a small footprint and the right combination of performance and hardware support to target mobile telephony use. The OKL4 Microvisor 4.0 is distinguished by supporting mobile virtualization, componentization, and security, enabling a new generation of applications and capabilities with impact across the mobile ecosystem. |
OKL4 Microkernel 3.0
The Microkernel 3.0 is a system software platform built using Microkernel design principles. It provides developers with the technologies and tools needed to build and deploy innovative and secure intelligent devices. OKL4 Microkernel 3.0 is freely available for download in full source form.
Note: For older Microkernel releases, check out Previous Releases
Contribute
Get Answers
The OKL4 technical FAQ. Go>
Get Known
Your projects, thoughts, and ideas: how are you using OKL4? Go>
Get Help / Find Answers / Get Involved
If you'd like to know more or interact with like-minded people like yourself, please do join the ever growing horde of OKL4 developers active on our Mailing List.
The Wiki is open and free for any community member to contribute to - we welcome you to share your experiences, projects, tips and hints as you work with OKL4. Head on over to Registration and grab a username and password.