They basically got sel4 and said what if rust? Well that is an obvious take. I’m glad to see sel4 gaining some traction though. Formally correct OSs is the future.
True, but here it’s the thing which is somehow concerning… GNU has attempted to bring sel4, and other interesting ukernels to hurd, with so few hands, and no one really getting interested. And now that Google tries it, oh, how innovative…
I like the move to ukernels, and focus on clean by design. However as mentioned by others, it’s still Google… We’ll see. It’ll be interesting to see where this new effort leads. Will this take over Google’s mobile OS eventually, or chromeOS, or would there be a PC kind on Google OS?
They basically got sel4 and said what if rust? Well that is an obvious take. I’m glad to see sel4 gaining some traction though. Formally correct OSs is the future.
True, but here it’s the thing which is somehow concerning… GNU has attempted to bring sel4, and other interesting ukernels to hurd, with so few hands, and no one really getting interested. And now that Google tries it, oh, how innovative…
I like the move to ukernels, and focus on clean by design. However as mentioned by others, it’s still Google… We’ll see. It’ll be interesting to see where this new effort leads. Will this take over Google’s mobile OS eventually, or chromeOS, or would there be a PC kind on Google OS?