Paramecium: An Extensible Object-Based Kernel

L. van Doorn, P. Homburg, A.S. Tanenbaum

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


In this paper we describe the design of an extensible kernel, called Paramecium. This kernel uses an object-based software architecture which together with instance naming, late binding and explicit overrides enables easy reconfiguration. Determining which components reside in the kernel protection domain is up to the user. An certification authority or one of its delegates certifies which components are trustworthy and therefore permitted to run in the kernel protection domain. These delegates may include validation programs, correctness provers, and system administrators. The main advantage of certifications is that it can handle trust and sharing in a non-cooperative environment.
Original languageEnglish
Title of host publicationProceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
Number of pages4
Publication statusPublished - 1995
Event5th Workshop on Hot Topics in Operating Systems (HOTOS-V) - Orcas Island, United States
Duration: 4 May 19955 May 1995


Workshop5th Workshop on Hot Topics in Operating Systems (HOTOS-V)
Country/TerritoryUnited States
CityOrcas Island


Dive into the research topics of 'Paramecium: An Extensible Object-Based Kernel'. Together they form a unique fingerprint.

Cite this