This session will examine requirements of modern embedded systems and how they can be addressed with a generalized virtualization approach based on the OKL4 microkernel. This technology is cutting-edge, yet mature enough to power dozens if not hundreds of millions of devices, and it is open source.

Gernot Heiser PhD is the Chief Technology Officer and co-founder of Open Kernel Labs and the leader of the Embedded, Real-Time and Operating Systems Research Program at the National Center of Excellence for Information and Communications Technology in Australia. Dr. Heiser is also a faculty member at the University of New South Wales (UNSW), where he created a suite of OS courses and led the development of several research operating systems.

“The timing of this conference is perfect because it compliments the success of the mobile Linux focus that LinuxWorld® 2007 featured. “As the mobile market continues to grow, mobile manufacturers are increasingly turning to Linux as a strategic platform to deliver more capable devices with increased flexibility and lower costs,” said Melinda Kendall, Vice President and General Manager, LinuxWorld.  “We’re excited to have so many industry leading speakers already lined up to present at this inaugural event.”

LinuxWorld is the premier event for the Linux and open source community, bringing together industry leaders shaping the future of new enterprise technology in the largest single gathering of business and technical leaders deploying Linux and open source solutions.  Attendees can register for a free exhibit hall pass to LinuxWorld Conference & Expo on or before August 3, 2007 at www.linuxworldexpo.com/register.  Exhibit hall passes are $50 thereafter. The pass provides attendees with access to the keynote addresses, feature presentations, birds-of-a-feather meetings and the exhibit hall floor.

About LinuxWorld Conference & Expo

LinuxWorld Conference & Expo is the premier event exclusively focused on Linux and open source solutions. As the world’s most comprehensive marketplace for open source products and services, LinuxWorld provides business decision-makers with information and resources to implement Linux and open source solutions into business infrastructure and enterprise networks.  For more information or to register for the event, visit the LinuxWorld Conference & Expo Web site at www.linuxworldexpo.com, or call (800) 657-1474.  For exhibiting opportunities, please contact Amy Bonner at (508) 424-4892 or amy_bonner@idg.com or Giovanni Stein at (508) 424-4864 or Giovanni_stein@idg.com.  For sponsorship opportunities, please contact Ellen Boland at (508) 988-7830 or Michelle Mohr at (508) 424-4855, or michelle_mohr@idg.com

About IDG World Expo

IDG World Expo (www.idgworldexpo.com) is a leading producer of tradeshows and events for professionals and consumers seeking world-class education, peer-to-peer networking and one-stop comparison shopping.  IDG World Expo's portfolio of conferences and events includes Entertainment For All™ (E For All™), E3 Media & Business Summit, GreenXchange Xpo™, LinuxWorld Conference & Expo®, Macworld Conference & Expo®, Next Generation Data Center™ (NGDC™) and REVEAL Los Angeles…The Fashion & Design Event™.  IDG World Expo is a business unit of IDG, the world's leading technology media, research and event company.

                                                                      ###

About Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

                                                                        ###

By: Virtualization News Desk
Jun. 19, 2008 11:00 AM

OKL4 is a high-performance system software platform, built using cutting-edge microkernel technology, which provides Trustworthy Virtualization and Secure Decomposition capability for embedded systems. OKL4 supports system virtualization, secure execution of components in an execution environment with a minimal trusted computing base, and fault isolation within complex systems using lightweight protected components. Used alone or as a complement to full-featured operating systems, OKL4 enables development teams to deliver systems that are more trustworthy in less time and at lower cost.

Open Kernel Labs OKL4 provides developers with the technologies and tools needed to build and deploy innovative, high-performance, and secure intelligent devices.

SYS-CON’s Virtualization Journal’s “Readers’ Choice Awards”

SYS-CON's Virtualization Journal announced today its first annual Virtualization Readers' Choice Awards. SYS-CON's Readers' Choice Awards, also known as the "Oscars of the Software Industry" has been one of the most prestigious industry award programs for more than a decade. This year's virtualization awards will be given in 17 categories and award-winning products and services will be selected by Virtualization Journal readers.

Virtualization takes the cost and complexity out of IT, and can even help us reduce the CO2 footprint. IDC has stated that the virtualization services market alone is going to reach $11.7 billion by 2011 and in general this technology, which has been around for a good number of years, seems suddenly to be on everyone's mind.

In short, Virtualization is fast becoming a key requirement for every server in the data center, enabling increased workloads in server consolidation projects, efficient software development and testing, resource management for dynamic data centers, application re-hosting and compatibility, and high-availability partitions.

The tipping point, though - as anticipated by industry experts already back in 2005 - seems to be coming in 2008.

About Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

                                                                        ###

About Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

                                                                        ###

CONTACT:
Chris Walker       
Connect Public Relations
(801) 373-7888
chrisw@connectpr.com

Marti Konstant
Open Kernel Labs
(312) 933-0101
marti@ok-labs.com

CHICAGO – June 4, 2008 – Open Kernel Labs (OK Labs), a global provider of systems software and virtualization technology for embedded systems, has been included in the list of "Cool Vendors" in the “Gartner Cool Vendors in Mobile and Wireless Technology” 2008 report.[1]

 According to another Gartner report about the 2008 Cool Vendors, “Investors, users and technology providers seeking interesting partners or acquisition opportunities will find fertile ground.”[2]

 OK Labs develops and markets OKL4, a virtualization and system-software platform for embedded systems, offering Secure HyperCell™ technology, which provides a secure environment for operating systems, applications and drivers on mobile devices.

 “We are excited to be included by Gartner in the Cool Vendor in Mobile and Wireless Technology” report said Steve Subar, President and CEO of OK Labs. “We believe this is a strong validation of our dedication to research, our collaborative open source model and our ongoing commitment to being an industry standard of high-performance mobile technology”.

 OK Labs has helped original equipment manufacturers (OEMs) realize dramatic improvements in the delivery of reliable, secure and safe embedded systems software. Additionally, the deployment of OKL4 in mobile devices offers many business benefits, including the reduction of bill of materials cost for manufacturers, shorter development cycles and smartphone security capabilities.

 OKL4 can be found in the Toshiba W47T and in HTC mobile devices such as the Mogul, the XV6800, PPC6800, P4000, HTC TyTN II P4550 (HTC Kaiser 120) and the HTC Touch Dual, all of which are available through leading service providers. OKL4 was also used in FIC’s OpenMoko Neo 1973 smartphone to demonstrate two simultaneous Linux systems running on a singular processor core.

 About Gartner's Cool Vendors Selection Process

Gartner's listing does not constitute an exhaustive list of vendors in any given technology area, but rather is designed to highlight interesting, new and innovative vendors, products and services. Gartner disclaims all warranties, expressed or implied, with respect to this research, including any warranties of merchantability or fitness of a particular purpose. Gartner defines a cool vendor as a company that offers technologies or solutions that are: Innovative, enable users to do things they couldn't do before; Impactful, have, or will have, business impact (not just technology for the sake of technology); Intriguing, have caught Gartner's interest or curiosity in approximately the past six months.

 Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

###

CHICAGO – May 28, 2008 - Open Kernel Labs (OK Labs), a global provider of systems software and virtualization technology for embedded systems announced that its OKL4 Secure HyperCell ™ Technology was chosen for the Editors’ Choice award and then selected by eg3.com’s readers and community for the Readers’ Choice award.
Embedded virtualization, recognized by eg3.com technical editors as a hot new technology, provided the basis for phase one of the Tech Choice awards, the Editors’ Choice. OK Labs Secure HyperCell technology in OKL4 2.0 was selected through a review of 1500 news submissions.

"The eg3.com Tech Choice awards honor companies for innovation in practical technologies," said Jason McDonald, Senior Editor, eg3.com.  "OK Labs new Secure Hypercell™ announcement garnered both an Editors' and a Readers' choice in the virtualization category.  This exciting product blends the needs of embedded devices with those of enterprise networks, all the time maintaining required levels of trust and security."

After selecting OK Labs for an Editors’ Choice award winner, eg3.com polled its audience of over 42,000 subscribers for its Readers’ Choice award, asking them to vote for the cool technology that they considered the best of the best.  The readers spoke and they chose OKL4 Secure HyperCell Technology.

“We are honored to have been chosen by eg3.com’s editors and by the readers” said OK Labs CEO Steve Subar. “Listening to our customer’s and partner’s has enabled us to develop solutions that meet market requirements. We have a strong commitment to the developers’ community and we thank everyone for voting.”

The eg3.com Tech Choice Awards identify the newest and most technologically sophisticated products from the previous six months. Both the Editors’ Choice award and the Readers’ Choice Award are considered an honor.

Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

###

About HEADPLAY

The Headplay Group of Companies consists of Headplay International Inc. and its subsidiary corporations which develop and market cutting-edge visual entertainment and technology products with operations in Los Angeles, California, U.S.A., Calgary, Alberta, Canada, Bridgetown, Barbados and Beijing, China. Headplay is dedicated to developing new and visionary products for the consumer electronics market, www.headplay.com

Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

###

Chris Walker
Connect Public Relations
(801) 373-7888
chrisw@connectpr.com

Marti Konstant
Open Kernel Labs
(312) 933-0101
marti@ok-labs.com

About Open Kernel Labs

Open Kernel Labs' leading technology in embedded systems software and virtualization enables the development of safe, trustworthy, and affordable devices. Backed by the largest independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution that offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust open-source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products, visit http://www.ok-labs.com. OK Labs is a spin out from NICTA, Australia's preeminent Center of Excellence for information and communications technology, http://www.nicta.com.au.

Open Kernel Labs and OK Labs are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the United States and other countries.

About EEMBC

EEMBC, the Embedded Microprocessor Benchmark Consortium, develops and certifies real-world benchmarks and benchmark scores to help designers select the right embedded processors for their systems. Every processor submitted for EEMBC benchmarking is tested for parameters representing different workloads and capabilities in communications, networking, consumer, office automation, automotive/industrial, embedded Java, and network storage-related applications. With members including leading semiconductor, intellectual property, and compiler companies, EEMBC establishes benchmark standards and provides certified benchmarking results through the EEMBC Technology Center.

EEMBC members include Altera, AMD, Analog Devices, ARC International, ARM, Broadcom, Cavium Networks, CEVA, Code Sourcery, Cypress Semiconductor, esmertec, Faraday, Freescale Semiconductor, Fujitsu Microelectronics, Green Hills Software, Huawei Technologies Co, IAR Systems AB, IBM, Imagination Technologies, Improv Systems, Infineon Technologies, Intel, LSI, Marvell Semiconductor, Matsushita Electric Industrial, MediaTek, Mentor Graphics, Microchip Technology, MIPS Technologies, National Instruments, NEC Electronics, Nokia, Nvidia, NXP Semiconductors, Oki Electric Industry Co, PA Semi, Qualcomm, Realtek Semiconductor, Red Hat, Renesas Technology, RMI, Sony Computer Entertainment, ST Microelectronics, Sun Microsystems, Tensilica, Texas Instruments, Toshiba, Trango Virtual Processors, VIA Technologies, and Wind River Systems.

HyperBench is a trademark and EEMBC is a registered trademark of the Embedded Microprocessor Benchmark Consortium. All other trademarks appearing herein are the property of their respective owners.

SOURCE Embedded Microprocessor Benchmark Consortium

CHICAGO – April 14, 2008 – Open Kernel Labs (OK Labs), a global provider of systems software and virtualization technology for embedded systems, today announced the new version of its open source microkernel software, OKL4 2.0 tackles the security and reliability challenges embedded developers face in creating enterprise-safe connected devices for end users, carriers and enterprises. The OK Labs microkernel-based OKL4 2.0 virtualization and system-software platform is the first to offer Secure HyperCell™ technology, which provides a secure environment for operating systems, applications and drivers on mobile devices. OKL4 enables developers to address the threat of malware, hackers and poorly-behaved code that increasingly jeopardize end users, carriers and enterprises of all sizes.

According to the Consumer Electronics Association’s (CEA) Wireless Phone Data and Entertainment Services study, 40 percent of American adults plan to purchase a new wireless handset within the year. In addition, CEA estimates that smartphone factory-to-dealer sales will exceed $8 billion in 2008, making it one of the fastest-growing markets for embedded devices. With this growth come new security and reliability issues for end users, carriers and enterprises. If these challenges are not taken into consideration in the overall design and architecture, then safe and secure operation of the entire network will be jeopardized by faults and attacks.

“OKL4’s capability-based security can prevent data leakage by untrusted code,” said Steve Subar, president and CEO, OK Labs. “With increasing amounts of personal information on handsets, preventing identity theft through mobile viruses is paramount.”

Using OKL4 as a trusted platform, developers of smart, connected devices can make their products enterprise-safe by encapsulating critical components into individual Secure HyperCells. A Secure HyperCell protects its contents from the rest of the system and from unwanted communication with other cells, making it possible to add functionality incrementally, without undermining the security of the existing system. This unprecedented level of security is achieved by implementing multiple secure cells, operating in user mode, under the control of a hypervisor that operates in privileged mode, which allows the development and configuration of a system running in completely virtualized yet protected spaces without requiring access to privileged mode at any point.

With OKL4, developers can add new functionality while keeping the entire system enterprise-safe. This helps end users meet the requirements needed to connect easily and to use their device in any setting including personal and work environments.

“Mobile devices are demanding higher levels of performance and functionality as users increasingly rely on wireless connectivity and networking capabilities on their mobile phones,” said Stephen Balacco, Director, Embedded Software Practice, Venture Development Corporation. “This brings with it new needs for security and reliability in these devices to address consumer, carrier and corporate demands.”

With carriers such as Verizon and AT&T announcing that they are opening their networks to out-of-network handsets, developers need to design smart, connected devices that are secure and reliable enough to protect consumers, carriers and enterprises. OKL4 provides a trustworthy environment where applications and operating systems are secure and protected, enabling developers to alleviate the risk of out-of-network devices for end users, carriers and enterprises.

By using the Secure HyperCell technology found in OKL4, developers of mobile devices can integrate multiple functions, OSes or applications into a single processor platform, while protecting core device functionality from compromise. OKL4 features capability-based security, which enables the fine-grained control of access rights that underpins Secure HyperCell technology. Secure HyperCell technology encapsulates and isolates individual applications, device drivers, critical services or complete OSes, preventing any interaction unless explicitly authorized. This can be used to contain the damage from faults or security compromises and prevent it from spreading to other parts of the system.

OKL4 2.0, available under an open source or a commercial license, is now shipping and is available for download, general use, evaluation and prototyping. In addition, OK Labs offers professional services including customization, processor architecture porting and training for OKL4 supporting ARM, x86 and MIPS processors. For more information or to download software, visit www.ok-labs.com. For those interested in learning more about the technology, understanding use cases and to get answers to specific questions, developers can join the OK Labs Technical Community Mailing List.

Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for information and communications technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.

CONTACT:
Chris Walker
Connect Public Relations
(801) 373-7888
chrisw@connectpr.com

Marti Konstant
Open Kernel Labs
(312) 933-0101
marti@ok-labs.com

Open Kernel Labs

The Open Kernel Labs leading technology in embedded systems software and virtualization enables the development of safe, trustworthy and affordable devices. Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an advanced microkernel solution, which offers the highest performance combined with strong protection and security features. OKL4 provides developers with a robust, open source platform for building secure, differentiated embedded applications. For more information about OK Labs and its products visit www.ok-labs.com. OK Labs is a spin out from NICTA, Australia’s preeminent Center of Excellence for Information and Communications Technology, www.nicta.com.au.

Open Kernel Labs, OK Labs and Secure HyperCell are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners.


###

Chris Walker
Connect Public Relations
(312) 933-0101
chrisw@connectpr.com

Marti Konstant
Open Kernel Labs
(801) 373-7888
marti@ok-labs.com