Is the microkernel technology well suited for the support of object-oriented operating systems: the Guide experience
