Design and Implementation of an Object-Orientated 64-bit Single
Address Space Microkernel
Kevin Murray, Tim Wilkinson, and Peter Osmon
SARC, City University
Ashley Saulsbury - Swedish Institute of Computer Science
Tom Stiemerling, Paul Kelly - Imperial College
In the mid eighties, the System Architecture Research Centre at City
University developed a message-passing, UNIX compliant micro kernel
(Meshix) for our own scalable distributed memory architecture (Topsy).
Over the last two years we have been engaged in a research programme
aimed at learning from this experience, and developing a new operating
system based on these lessons. The result is the Angel microkernel.
This paper sets out the lessons we have learnt from Meshix, how this
has influenced the design of Angel and outlines our current design of
Angel and its C++ implementation. We will also describe our future
plans and hopes for Angel, and the lessons that we have learnt from
the design and implementation process.
Download the full text of this paper in
ASCII form (38,643 bytes).
To Become a USENIX Member, please see our