Alright, that makes sense. I even suspected key drivers were in kernel mode given the performance on its kind of hardware. They might be saying it just because

Alright, that makes sense. I even suspected key drivers were in kernel mode given the performance on its kind of hardware. They might be saying it just because they don't know what a microkernel is. It might also be some new usage based on smaller, more-efficient kernels like used in containers. Who knows.