It was not a call to replace windows systems with linux, but to replace it with specialised OSes that do less, with better stability guarantees. And building s

It was not a call to replace windows systems with linux, but to replace it with specialised OSes that do less, with better stability guarantees. And building something around microkernels would definitely not be a bad starting point.