Earlier quoted context omitted.
As you wish, I am no longer going to debate the pedantic meaning of pure microkernel ideology. I rather be happy for the improvements in the long term roadmap and overall outcome for the eco-system.
It’s not about pedantry; whatever rules you define for a micro kernel it shouldn’t be rules for thee but not for me
What you call a kernel like that?