We need to switchover to microkernel operating systems ASAP or our entire computing infrastructure becomes a liability.

There are good reasons for QNX becoming viable again in the automotive world. Linux / Android has so many vulnerabilities that it needs indefinite patching, which is unrealistic for any computing device but cars especially. Car makers are switching to QNX even though it costs them money.

Weren't there rumours that intelligence agencies have been using microkernel operating systems for decades?