 | | Open Kernel Labs (OK Labs) announced availability of OKL4 for In-Vehicle Infotainment (IVI). OKL4 embedded virtualization[ ] enables automotive suppliers to meet requirements of both consumer and automotive applications. |
| OK Labs and Fixmo Inc.ís new ìjoint initiative to create and commercialize a highly secure COTS mobile platformî |
| Collaboration among R&D and commercialization organizations targets devices and applications needing high assurance, correctness and risk management in government, military, and enterprise |
| Closes Gaps in Mobile Enterprise Security While Preserving User Privacy and Device Functionality |
| download includes bootable images for x86 and ARM11, user-space libraries and other code needed for building applications, paravirtualized Linux[] running on OKL4 Verified, user documentation, and the formal specification (in Isabelle format and as human-readable PDF) |
| Deployments for Mobile Virtualization Leader Grew 57% in 2010 to Reach 1.1 Billion – Recognized in Prestigious VisionMobile 100 Million Club for Third Year in a Row |
| Solution for OEMs, Mobile Network Operators, Integrators, and Government Contractors Enables Secure Mobile Communications and Applications with Off-the-shelf Mobile Devices – Details in SecureIT Mobile White Paper |
| I’m big on the ARM Cortex-A15 MPCore processor, as you can probably tell. But I’m sure a lot of you are wondering how it can help designers today, considering that it’s not going to be here for awhile. The challenge in the embedded industry is to pick the right technology... |
| OKL4 is a microkernel-based embedded hypervisor - called a microvisor, supporting mobile virtualization, componentization, and security. |
| Results of Partnership Highlighted at TRUST 2010 in Berlin |
| |
