The Raspberry Pi uses its own kernel fork.
Sim, por causa do processador ARMv6. Eu não sei por que essa porta não foi incluída no kernel principal, na verdade - acho que há alguns blobs proprietários da Broadcom nela, embora eu ache que isso poderia ser separado da implementação do ARM.
Mas talvez não. As arquiteturas sob [src]/arch/arm
na fonte de baunilha parecem muito específicas. No entanto, a maioria das distros agora tem uma versão do ARMv7 + (compilada a partir do mesmo código-fonte do núcleo principal) suportando todos os tipos de dispositivos - por exemplo, aqui está uma lista de " archlinux.arm ". O Fedora e o Ubuntu eles também.
O Pandaboard e o Beagleboard parecem ser as coisas mais estabelecidas na categoria ARMv7 +, mas a lista parece estar crescendo o tempo todo - inclui esses chips , que são usados em várias dessas placas dev.