News for hackers. Stuff that matters.

A comment on Debian GNU/Hurd 2023 released. Parent comment

Re:Debian GNU/Hurd 2023 released by snvzz on Monday June 12, 2023 @03:51PM (#36299925)
>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.

[ Parent | on HN ]
Re:Debian GNU/Hurd 2023 released by gjsman-1000 on Monday June 12, 2023 @07:39PM (#36303003)
There’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.)

[ Parent | on HN ]
Re:Debian GNU/Hurd 2023 released by 4gotunameagain on Tuesday June 13, 2023 @03:57AM (#36307029)
The idea might be outdated, but as I have yet to seen a system running seL4, in practice it is very much true still.
[ Parent | on HN ]