|
Tuesday, August 5, 2008, 11:30 am - 12:30 pm
Speaker: Gernot Heiser, CTO, Open Kernel Labs.
Linux is becoming a major player in embedded systems. However, besides the increasing need for high-level commodity APIs, embedded systems have requirements for strong real-time capability, support for legacy real-time stacks, and strong isolation of the application stack mandated by certification authorities. This is a combination not served by a single OS.
Designers use multiple processors running different OSes with hardware-partitioned memory. This is expensive and limits the communication bandwidth and latency between the subsystems. Virtualization can help by providing the same degree of separation on a single processor. State-of-the-art microkernel technology provides a more general approach addressing future needs.
We 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.


|