Kernel do Linux - o Linux é o próprio kernel. Kernel do MacOs - XNU Kernel do Windows - ntoskrnl.exe Kernel do Android - O kernel linux modificado Kernel do IOS - XNU -------------------------------------- Debian, Mint, Arch, Gentoo, Ubuntu, Fedora NÃO são Linux, e sim Distribuições Linux.