Symbian ran on EKA2[1], which was a micro-kernel, although since Symbian included device drivers it wasn't technically a true microkernel[2].

1: https://en.wikipedia.org/wiki/EKA2

2: https://en.wikipedia.org/wiki/Symbian#Symbian_kernel