I recently found out that Android's kernel is VERY different from any Apple implementation. Never really crossed my mind that there are different types of kernels.

This made me wonder - if the microkernel is so much better, at the cost of being complicated to develop an OS for, would Android be better on microkernel?

Please enlighten me. I'm only trying to learn more.

Also, do interact, Lemmy needs good conversation.