Do you have a source on Apple working to turn macOS into a proper microkernel? Couldn't find anything. Certainly Mach is a microkernel, but Darwin very much isn't. I do know that Apple has worked to expose some kernel-level hardware interfacing features in safer ways than giving full kernel extension access, but otherwise that's it?