> Linux is of course the best designed and implemented among the non-realtime, not provably correct and not secure kernels

Citation needed.