[chvid]

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 course in terms of the broader tech war. What we have here might be a consumer operating system that is technologically better than what is on offer from Apple, Google, and Microsoft. Built by a vilified Chinese company.

[StopDisinfo910]

This is not a game changer. Microkernels have been a reality for ages. See QNX or even Fuchsia. I don’t know what "modern" microkernel means. The architectural concepts haven’t changed.

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.

[snvzz]

>IPCs are slow and the gains are limited compared to the strategies all broadly used kernels already use.

The problem you are describing is a characteristic of 1st generation microkernels, and was solved by Jochen Liedtke in the mid 90s, introducing 2nd generation microkernels.

seL4 is a 3rd generation microkernel.

>I don’t know what "modern" microkernel means.

To get up to date, a good resource is Gernot Heiser's blog[0], read from oldest to newest.

0. https://microkerneldude.org/

[StopDisinfo910]

It’s not about being up to date. What you call modern here is just recent. It doesn’t fundamentally diverge from the historical architecture.

Even SeL4 fast IPC which is not actually a full IPC but works well in the barebone context of SeL4 remains in fact slower than good old syscalls.

The fundamental question remains the same “Is this worse the costs (in terms of both efficiency and design complexity)?”

To me, the answer is muddy here. Sometimes yes, sometimes probably not. I think it’s why hybrid approaches are now generalised but no one is really shipping a microkernel outside of industrial applications.

[chvid]

Sorry. Of course you right - the game changing part is that there is now an advanced consumer os that is owned by a Chinese company - it being micro kernel is a small part but important.