Just saw th is, bound to cause a flap.
Linus not known for provocative statements such as this.
Have to say that after seeing the performance difference first-hand between Mach-based Linux and monolithic Linix on similar hardware, I lean heavily towards the latter! The 7200/120 with LinuxPPC is a quite usable day-to-day machine, whereas my old 8100/80 with MkLinux is not really.