Dynamic loadable object support for real-time mach kernels

Satoshi Moriai, Hideyuki Tokuda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationWorldwide Computing and Its Applications - International Conference, WWCA 1997, Proceedings
EditorsTakashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto
PublisherSpringer Verlag
Number of pages16
ISBN (Print)354063343X, 9783540633433
Publication statusPublished - 1997
Externally publishedYes
EventInternational Conference on Worldwide Computing and Its Applications, WWCA 1997 - Tsukuba, Japan
Duration: 1997 Mar 101997 Mar 11

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherInternational Conference on Worldwide Computing and Its Applications, WWCA 1997

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Dynamic loadable object support for real-time mach kernels'. Together they form a unique fingerprint.

Cite this