[ymz5]

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.

[jacquesm]

I've already done this. It's a thing one person can do in under a year.