Kea-a dynamically extensible and configurable operating system kernel

Abstract

Kea is a new operating system kernel which has been designed for maximum flexibility and performance in the areas of kernel and application extensibility and dynamic reconfiguration. Kea provides a means through which kernel services can be reconfigured, either on an application specific or system wide scale. We describe the design and implementation of these features, and report on some of our current research which relies on these abilities.