No, but Android does use a different microkernel (LK) as it's bootloader. It's a...

		tyingq on Nov 2, 2018 \| parent \| context \| favorite \| on: Linus Torvalds announces Linux (1991) No, but Android does use a different microkernel (LK) as it's bootloader. It's also likely that Google will replace Linux on Android with Fuschia, yet another microkernel OS, derived from LK.