6 ms·
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
by ymz5 6mo ago
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 6mo agoI've already done this. It's a thing one person can do in under a year.