3 ms·
> We already have formally verified operating systems But none of them are adequate replacements for today's mainstream operating systems. seL4 is a research p
by p-e-w 4y ago
> We already have formally verified operating systems
But none of them are adequate replacements for today's mainstream operating systems. seL4 is a research project, not a Linux competitor. If it offered features similar to Linux, companies absolutely would switch – the cost of security vulnerabilities and their management is staggering.
- rowanG077 4y agoThis is kinda like saying if we had electric vehicles that can charge instantly and have million km range then everyone would switch. Sure, that's correct. But it totally glosses over the fact that something like that is just not possible to build in the foreseeable future. A kernel that rivals Linux in its feature set and is formally verified is even more of a bonkers proposition.