3 ms·
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...
by tombert 2y 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...