3 ms·
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 t
by spencerflem 2y ago
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 2y agoInteresting, 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...