operating system A single address space, micro-kernel

operating system for multiprocessor computers, developed

at Imperial College and City University, London, UK.