Secure hypervisor microkernel ready for download
January 26, 2011OK Labs announced the availability of a verified, “bug-free secure microkernel” version of its Linux-compatible OKL4 hypervisor. Currently downloadable free for non-commercial evaluation on embedded ARM11 or x86 platforms, the “OKL4 Verified” microkernel is designed for business-critical and mission-critical applications in mobile/wireless devices, says the company.