2 ms·
seL4 microkernel. Of course, the velocity of development is very low, but that's because they want developers who can wrap their head around formal proofs.
by rodgerd 11y ago
seL4 microkernel.
Of course, the velocity of development is very low, but that's because they want developers who can wrap their head around formal proofs.