marketwire.com 26th January 2011 Open Kernel Labs (OK Labs), the leading provider of embedded virtualization software for mobile phones and broadband internet devices, today announced availability for download of OKL4 Verified (project name seL4), a fully verified, bug-free secure microkernel for business-critical and mission-critical applications in mobile/wireless devices. Security-conscious device manufacturers (OEMs), mobile network operators (MNOs), application developers, researchers, and other interested parties can now download, run, and test OKL4 Verified on embedded ARM11 platforms.
OK Labs previously announced the completion of groundbreaking research by OK Labs, NICTA, and researchers at the University of New South Wales (UNSW), to provide formal mathematical proof of the correctness of the kernel. The verification process used with OKL4 Verified eliminates a wide range of exploitable errors in the kernel, including design flaws and code-based errors like buffer overflows, null pointer dereference, and other pointer errors, memory leaks, and arithmetic overflows and exceptions. http://www.marketwire.com/press-release/Open-Kernel-Labs-Provides-OKL4-Verified-for-Download-and-Prototyping-1385630.htm -- FOSS Nepal mailing list: [email protected] http://groups.google.com/group/foss-nepal To unsubscribe, e-mail: [email protected] Mailing List Guidelines: http://wiki.fossnepal.org/index.php?title=Mailing_List_Guidelines Community website: http://www.fossnepal.org/
