That’s not something I ever associated with microkernels to be honest. That’s just clustering.

I was more interested in having minimal kernels with a bunch of processes handling low level stuff like file systems that could be restarted if they died. The other cool thing was virtualized kernels.