| Startup touts virtualizing microkernel |
Apr. 17, 2007
An Australian think tank has spun out an embedded and real-time operating systems company headquartered in Chicago. The spin-out -- "Open Kernel Labs" (OK Labs) -- is shipping a commercially supported, BSD-licensed "OKL4" microkernel that runs Linux and other guest OSes in user space, targeting devices such as mobile phones.
OK touts OKL4 as the best-performing available microkernel. OKL4 provides a native programming environment for real-time executives, alongside a minimal hardware abstraction layer (HAL) said to support various operating system "personalities" in secure user-space partitions, with interprocess communication handled via shared memory and shared devices. One supported guest OS is a "Wombat" Linux implementation based on a 2.6.10 kernel.
OK says it plans to ship a provably bug-free version of OKL4 by 2008, presumably targeting military, aerospace, medical, and aeronautics applications, and the like.
OK Labs spun out from NICTA (National Information/Communication Technology, Australia), an Australian government-sponsored think tank that previously supplied L4 to phone chip giant Qualcomm (story). Qualcomm used the NICTA L4 implementation to run an "Iguana" Linux stack alongside BREW in a phone reference design based on its MSM6550 mobile phone processor.
The OKL4 microkernel
OKL4 comprises an "extremely small," BSD-licensed microkernel designed to provide "minimality with respect to security." That is, by including only services impossible or impractical to implement outside the kernel, OKL4 aims to provide the smallest possible "trusted security base." Security-critical subsystems such as crypto services can be implemented to depend on fewer than 20,000 lines of system code, for instance -- reducing the number of nooks and crannies for bugs to hide in.
In addition to minimalistic execution environments for performance- and security-critical applications, OKL4 provides a minimal hardware abstraction layer supporting various operating system "personalities," each running in separate user space partitions. These partitions provide license segregation, as well as protection from software faults, OK Labs said. An additional "side-effect" might be guest OS portability, since memory management hardware and other architecture-dependent mechanisms are virtualized.
OKL4's "fine-grained, light-weight protection domains" are said to encapsulate application programs, system services, device drivers, and library modules, in order to improve overall system robustness. Meanwhile, cross-domain communication and "controlled sharing of memory" allow high-bandwidth, low-latency subsystem communications and efficient sharing of devices. The approach "enables the use of lightweight components with hardware-enforced interfaces -- the key to managing growing software complexity," OK suggests.
FancyPants with multiple floating still and video layers
(Click to enlarge) |
Lightweight graphics stack
A lightweight graphics stack for native OKL4 applications and OKL4 guest operating systems is available from Fluffy Spider, which has already announced a joint research, development, and marketing alliance with OK Labs.
Fluffy Spider's "FancyPants " graphics stack has a footprint of about 3MB, yet offers impressive multi-layer graphics capabilities (demo's here) along with advanced features such as soft shadows, screen and image transitions, fades and wipes, 32-bit alpha blending, animations, glitter, color manipulation, scaling, rotation, and 3D folds. It supports L4, Linux, Symbian, and Windows CE.
Fluffy Spider's product development services team hopes to support OKL4 in commercial engagements. Company CEO Robi Karp stated, "We look forward to the ongoing collaborative delivery of products that enable OEMs to offer highly innovative and secure devices."
Karp is among the featured speakers at this week's CELF Conference in San Jose, Calif.
Availability
OKL4 is currently -- and will continue to be -- available as source code under a BSD license. Also available are BSD-licensed related technologies, including "a sophisticated build system; cross-compilation tools for a number of popular architectures; sample projects and configurations for a number of popular platforms for getting started; and, additional tools designed specifically for getting the optimum use of OKL4," OK Labs said.
Additionally, an available commercial edition of OLK4 includes "a customer service and customer support package that provides OKL4 customization; processor architecture porting; and, support and training for OKL4 and related technologies."
OKL4 currently supports ARM v4/v5 and x86 processors, with support for MIPS in the wings. Currently supported guest OSes include Wombat, described as a "high-performance virtualized Linux" based on a 2.6.10 kernel, and eCos, an open-source RTOS (real-time operating system).
In a statement, OK Labs said it has already delivered development and support services to "major manufacturers of wireless devices and chipsets." Co-founder and CEO Steve Subar commented, "OK has a unique advantage of being a start-up company with a proven product in hand. We are actively involved with world-leading OEMs [and] expect to announce these relationships within the year."
Headquartered in Chicago, OK Labs will maintain R&D facilities in Australia, under the leadership of CTO and co-founder Gernot Heiser. A professor of operating systems at the University of New South Wales (UNSW), Dr. Heiser also leads NICTA's ERTOS (embedded and real-time OS) research program.
Related Stories:
(Click here for further information)
|
|
|
FUEL Database on MontaVista Linux
Whether building a mobile handset, a car navigation system, a package tracking device, or a home entertainment console, developers need capable software systems, including an operating system, development tools, and supporting libraries, to gain maximum benefit from their hardware platform and to meet aggressive time-to-market goals.
Breaking New Ground: The Evolution of Linux Clustering
With a platform comprising a complete Linux distribution, enhanced for clustering, and tailored for HPC, Penguin Computing¿s Scyld Software provides the building blocks for organizations from enterprises to workgroups to deploy, manage, and maintain Linux clusters, regardless of their size.
Data Monitoring with NightStar LX
Unlike ordinary debuggers, NightStar LX doesn¿t leave you stranded in the dark. It¿s more than just a debugger, it¿s a whole suite of integrated diagnostic tools designed for time-critical Linux applications to reduce test time, increase productivity and lower costs. You can debug, monitor, analyze and tune with minimal intrusion, so you see real execution behavior. And that¿s positively illuminating.
Virtualizing Service Provider Networks with Vyatta
This paper highlights Vyatta's unique ability to virtualize networking functions using Vyatta's secure routing software in service provider environments.
High Availability Messaging Solution Using AXIGEN, Heartbeat and DRBD
This white paper discusses a high-availability messaging solution relying on the AXIGEN Mail Server, Heartbeat and DRBD. Solution architecture and implementation, as well as benefits of using AXIGEN for this setup are all presented in detail.
Understanding the Financial Benefits of Open Source
Will open source pay off? Open source is becoming standard within enterprises, often because of cost savings. Find out how much of a financial impact it can have on your organization. Get this methodology and calculator now, compliments of JBoss.
Embedded Hardware and OS Technology Empower PC-Based Platforms
The modern embedded computer is the jack of all trades appearing in many forms.
Data Management for Real-Time Distributed Systems
This paper provides an overview of the network-centric computing model, data distribution services, and distributed data management. It then describes how the SkyBoard integration and synchronization service, coupled with an implementation of the OMG¿s Data Distribution Service (DDS) standard, can be used to create an efficient data distribution, storage, and retrieval system.
7 Advantages of D2D Backup
For decades, tape has been the backup medium of choice. But, now, disk-to-disk (D2D) backup is gaining in favor. Learn why you should make the move in this whitepaper.
|
|
|
|
|
news feed