The Design and Implementation of laffer1

http://www.cs.vu.nl/~ast/reliable-os/

He makes a compelling argument. I don't think linus is default correct ever. (except how he pronounces linux)