MDS Technology, the leading Korean provider of embedded solutions, and Open Kernel Labs (OK Labs), the leading provider of embedded virtualization software for mobile phones and broadband Internet devices, today announced a distribution partnership to provide regional marketing, sales, training, and technical support in Korea for OK Labs mobile virtualization solutions, including the OKL4 Microvisor.

Open Kernel Labs (OK Labs), today announced the completion of long-term research and development to provide formal mathematical proof of the correctness of the microkernel technology underlying OKL4, the company’s mobile virtualization platform. This groundbreaking project involved NICTA, the company’s incubator and investor, OK Labs staff, researchers from the University of New South Wales (UNSW), and other prestigious institutions.

Open Kernel, a leading embedded virtualization software provider announced the release of their OK:Android an off-the-shelf paravirtualized version of the Android smartphone platform.

The OK:Android will operate in a secure environment on top of the OKL4 (OK Labs mobile phone virtualization platform) microvisior. This security allowing the OK:Andriod to operate as a guest operating system.

OK Labs the developers of OKL4 and OK Linux received a major capital injection of $7.6 million from venture capitalist Chrysalis Ventures and Neo Technology Ventures and Citrix® Systems, Inc. OKL4 one of their product is a market-leading embedded hypervisor, which offers the highest performance combined with strong protection and security features.