I still believe in microkernels.
I still believe in RISC-V.
I don't believe linux and android is the best future.
Revolutions happen.
Discussion
As for my predictions, that's a different thing. I'd be willing to bet 50:50 it will still be linux and android 10 years from now. But also that it will be a microkernel on an open processor spec written in a memory-safe language 25 years from now.
It COULD happen withn the next 7 years, but looking back, nothing happens as fast as I've thought it could have.
It won't likely be rust unless there's a "librust" with a stable ABI. An OS where you need to recompile every package from scratch and bundled is just not going to places.
Maybe compile speeds suffer, but I've forked this guys work to make a mini special-purpose OS for x86_64 machines, all in rust (except 2 screens of assembly):
Didn't know about this 👀 Have you heard about RedoxOS? It's microkernels + rust
Yes. I was skeptical of redox from the start because it happened so fast and I doubted anybody could achieve those results so quickly. But it's been a long time now and nobody has called him out as a fraud (that I am aware of) so I guess I should be very impressed. He matched the ABI and syscalls to linux so that existing software would run on it as if it were linux.