I don't think this is right, the point of microkernels is that kernel space vs. executables is a desirable protection boundary. It's not obvious that we are co

I don't think this is right, the point of microkernels is that kernel space vs. executables is a desirable protection boundary. It's not obvious that we are consistently making the right choices as to what to run in kernel vs. userspace, and sometimes moving some subsystems across the divide is the sensible choice, e.g. as with userspace filesystems or even userspace network stacks.