[1] https://finance.yahoo.com/news/blackberry-q3-earnings-revenu...
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.