I am not aware of any microkernel actually competitive with seL4, open or else.