Conversation

Microkernels are the minarchism of software.

"A concept is tolerated inside the microkernel only if moving it outside the kernel, i.e., permitting competing implementations, would prevent the implementation of the system’s required functionality"

This is Jochen Liedtke's minimality principle. https://dl.acm.org/citation.cfm?doid=224056.224075