Alistair C. Veitch, Norman C. Hutchinson. Kea-a dynamically extensible and configurable operating system kernel. In Third International Conference on Configurable Distributed Systems, 1996, Proceedings, Annapolis, MA, USA, 1998. pages 236-242, IEEE, 1996. [doi]
Abstract is missing.