Como compilar um kernel para raspbian em um host arch linux?

Como compilar um kernel para raspbian em um host arch linux?

Eu tenho um raspberrypi 3B e quero compilar e instalar um novo kernel nele, mas só tenho um host arch linux (x86_64) para compilá-lo.

Seguindo odocumentação oficialEu fico preso tentando compilar o kernel, parece que estou perdendo o compilador cruzado correto.

❯ make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- bcm2709_defconfig
scripts/Kconfig.include:39: compiler 'arm-linux-gnueabihf-gcc' not found
make[1]: *** [scripts/kconfig/Makefile:88: bcm2709_defconfig] Error 1
make: *** [Makefile:603: bcm2709_defconfig] Error 2

O problema é que não sei o que instalar, o pacote sugerido na documentação crossbuild-essential-armhfparece não existir nos repositórios oficiais nem no AUR.

Ele tem outro nome nos repositórios arch? Instalei arm-none-eabi-gccmas não parece ser o que preciso. Olhando para o arch wiki que encontreiesta páginae não ajudou muito, mas me deu a impressão de que preciso construir e compilar meu próprio compilador cruzado. É este o caso? Não há compiladores cruzados de braço prontamente disponíveis no Arch Linux?

Além disso, quando eu conseguir compilá-lo, terei problemas com as diferentes versões de pacotes (por exemplo, glibc) no arch vs no raspbian? em caso afirmativo, existe uma maneira fácil de lidar com isso?

Qualquer ajuda seria muito apreciada

EDIT: Olhando o que são esses pacotes, parece que o que eu realmente preciso é, gcc-arm-linux-gnueabihfmas isso também não está presente no pacman. A coisa mais próxima que posso encontrar está arm-linux-gnueabihf-gccno AUR, mas não consigo compilá-lo porque preciso do compilador cruzado de estágio 1, que também falha por outros motivos. Eu sinto que isso é algo que não deveria existir apenas no aur, estou faltando algo óbvio nos repositórios do pacman?

informação relacionada