It's so cool, I could talk about it forever. It's practical enough for the devs ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		spencerflem 7 months ago \| parent \| context \| favorite \| on: It's time to make computing personal again 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

tombert 7 months ago [–]

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...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact