Microkernels are not a pipe dream. They represent proven technology.