Quote #24

Personally, I'm _not_ interested in making device drivers look like user-level. They aren't, they shouldn't be, and microkernels are just stupid.