Could an open-source QNX accomplish all of Google's goals?
Given that QNX cannot be killed, and the cost to Google in attempting to do so (or enacting major change for legacy customers) would be catastrophic...
Why not buy a working microkernel? Are there other commercial microkernels that are more attractive?
https://en.m.wikipedia.org/wiki/QNX
Maybe Samsung should buy it, and put themselves in the driver's seat on Android. (They did buy Joyent, and SmartOS seems fine.)