alt Hacker NewsWell, 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.
I've already done this. It's a thing one person can do in under a year.