Microkernels are not a pipe dream. They represent proven technology.
In a Usenet message, 5 Feb 1992 - The "Linux is Obsolete" Debate
