Microkernels have won, just the GNU/Linux community seems be unaware of it and keep repeating the words of the leader.

Not only we have millions of embedded devices shipping microkernel OSes on them, we also have the transition to type-1 hypervisors, and now the slow adoption of unikernels.

Also Apple, Microsoft and Google are increasing the scope of sandboxing on their OSes.

Probably. I don't really consider it settled, anyway.