QNX, Genode and L4 have solved that problem longtime ago.
The problems with microkernels are mostly urban legends.
Re:The State of Linux Security
by dispose13432 on Friday December 23, 2016 @01:22PM
(#13246326)
So why can't hurd get its act together?
Because they're still using Mach, and most capable contributors moved on to microkernel-based projects that actually aren't hopeless.
Lack of volunteers.
The problem with microkernal's isn't compatibility, it's speed.