[disordinary]

Interestingly L4 is being used to power the secure enclave on iOS devices so it's probably the most distributed microkernel.