Well, there's a plan in case BB doesn't re-license.
We will rewrite the proprietary parts of the kernel from scratch. It's not trivial, but possible.
We could use seL4 as a basis for the "core" message-passing primitives. Channels and connections will go next.
QNX is great. But please be more judicious with the AI writing. It's great at style transfer, so maybe tell it to write like Hemingway or something? He didn't use unnecessary words and repeat the always same "impactful" flourishes.
Thanks, chrsw! I encourage people to join the petition to re-license old QNX sources under Apache 2.0. If Blackberry does so, we'll have another good and free microkernel-based OS.