Hypervisor technology claimed 100 percent bug-free
August 13, 2009Embedded virtualization vendor Open Kernel Labs (OK Labs) announced the completion of a four-year research project aimed at developing a highly secure, “100 percent bug-free” hypervisor for mobile phones. The “seL4” project developed a formal mathematical proof of the correctness of the microkernel used by OK Labs' Linux-compatible OKL4, the company says.