Earlier quoted context omitted.
Without disagreeing, can you tell me what makes this a game changer? How would I apply this in my personal life or at work?
Modern microkernels deliver stability, security, performance (look it up if you want the details). Back when I did CS we were talking about this as the next big thing in operating systems. It didn't happen - common operating systems instead expanded in scope, started to include things like a web browser and supporting a gazallion pieces of hardware, rather than trying to "do things right". The game changer part is of…
There are reasons nobody uses true microkernels. IPCs are slow and the gains are limited compared to the strategies all broadly used kernels already use. They are no monolithic kernel anymore. Everyone has slowly but surely been shifting more and more things to user space in isolated processes including Linux and Windows.
Hongmeng might be an interesting kernel. It might also not be. Sadly its proprietary and there are very little benchmarks not published by Huawei. Personally I won’t hold my breath for this one.