I feel rather dumb. I didn't know there were more desktop or server Microkernel OS than GNU/Herd and whatever Mac had with XNU or Mach or Darwin. There's a few but there's a reason why they aren't more popular.