That thread has been a very interesting indictment of the entire Linux & monolithic kernel design and its consequences.

And yes, a dynamic language/system could do it better, but let's compete somewhat fairly and simply point at microkernels being able to be built on hardware I had a decade ago without absurd built times or being simply impossible to build in those conditions at all.