Welcome to the General Dynamics Broadband Wiki

OKL4 Microvisor 4.0


Watch OKL4 Microvisor 4.0 Demos

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.

{i} Learn More

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


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 other like-minded people, please join the ever-growing group 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.

FrontPage (last edited 2012-12-05 00:08:50 by DavidCroswell)