4 ms·
I see, makes sense - I'll stick to C then. Thanks.
by endorphine 4y ago
I see, makes sense - I'll stick to C then. Thanks.
- abudabi123 4y agoHave a look at the boundary layer at the top or bottom end of seL4 microkernel. I never knew embedded seL4 is in under iOS. There is a diagram in chapter 2 of the seL4 whitepaper comparing with traditional monolith the microkernel has fewer lines of code, in the ballpark of tens of millions vs tens of thousands.
- junon 4y agoseL4 is not what I'd recommend a newbie to kernel dev look at. It's a very complex project.