Welcome to the General Dynamics Broadband Wiki
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
The OKL4 technical FAQ. Go>
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.