Open Kernel Labs (OK Labs) says its open source real-time virtualizing microkernel was used by Toshiba in a mobile phone widely available in Japan and Australia. Toshiba's W47T phone runs Linux on top of OK's OKL4 microkernel, and is distributed by KDDI, Japan's second-largest wireless carrier.
Full story »
