2 ms·
>RTOSes are used and not fully fledged OSes. The idea that "RTOS" and "fully fledged OS" are incompatible with each other is outdated. seL4 advanced the state
by snvzz 3y ago
>RTOSes are used and not fully fledged OSes.
The idea that "RTOS" and "fully fledged OS" are incompatible with each other is outdated.
seL4 advanced the state of the art with its formally-verified support for mixed criticality, years ago already.
- gjsman-1000 3y agoThere’s actually a real-time microkernel that millions of children use daily. It’s called the Nintendo Switch. (But seriously, it’s a homegrown microkernel RTOS. Look up “Nintendo Switch System Software” if that sounds bizarre.)
- 4gotunameagain 3y agoThe idea might be outdated, but as I have yet to seen a system running seL4, in practice it is very much true still.