> even if not ideal Also, it was never really clear that, in the end, a microkernel would offer significant practical benefits over what could be accomplished

> even if not ideal Also, it was never really clear that, in the end, a microkernel would offer significant practical benefits over what could be accomplished (with less work) within one of the established non-microkernel OSs.