|
|
|
|
|
|
by eightails
1652 days ago
|
|
|
Though currently Android-based, grapheneos is planning to move towards a microkernel + virtualisation model eventually. I'd imagine this is several years away at least, though. https://grapheneos.org/faq#roadmap There's also sel4, a security focused version of the l4 microkernel which is apparently one of the only formally verified kernels. https://sel4.systems/About/ |
|
|