News for hackers. Stuff that matters.

A comment on It's time to make computing personal again. Parent comment

Re:It's time to make computing personal again by spencerflem on Sunday January 19, 2025 @07:50PM (#42763796)
It's so cool, I could talk about it forever. It's practical enough for the devs to use it as a daily driver (though with linux in VirtualBox or Seoul for some things like running their builds) and theres a few businesses built on it.

But nowhere near as practical as Linux at the moment of course

[ Parent | on HN ]
Re:It's time to make computing personal again by tombert on Sunday January 19, 2025 @07:54PM (#42763824)
Interesting, I didn't know anyone had tried to make seL4 on a desktop.

I think it'd be very cool to have a fully verified kernel...

[ Parent | on HN ]