Dynamic loadable object support for real-time mach kernels

In this paper, we describe a dynamic extensible kernel architecture suitable for Real-Time Mach kernels. We design a new kernel architecture, the micro-kernel tray architecture. Our goal is to provide a new kernel foundation that enables an application to extend kernels dynamically and also enables an operating system builder to create a micro-kernel construction kit similar to a compiler construction kit. A micro-kernel tray provides a software backplane bus for micro-kernel based systems. A kernel construction kit would save even more time and would also enable the developer to focus her/his effort on the interesting aspects of operating systems. We report the preliminary step of our research, propose dynamic loadable object support for Real-Time Mach kernels, and discuss the issue of dynamic reconfigurable kernels.