Michael Clarke, Geoff Coulson. An architecture for dynamically extensible operating systems. In Fourth International Conference on Configurable Distributed Systems, 1998, Proceedings, Annapolis, MA, USA, 6 May, 1998. pages 145-155, IEEE, 1998. [doi]
Abstract is missing.