¿Cómo realizar una compilación cruzada de un kernel para raspbian en un host arch linux?

¿Cómo realizar una compilación cruzada de un kernel para raspbian en un host arch linux?

Tengo una raspberrypi 3B y quiero compilar e instalar un nuevo kernel en ella, pero solo tengo un host arch linux(x86_64) para compilarla.

Siguiendo eldocumentación oficialMe quedo atascado al intentar realizar una compilación cruzada del kernel, parece que me falta el compilador cruzado correcto.

❯ 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

El problema es que no sé que instalar, el paquete sugerido en la documentación crossbuild-essential-armhfno parece existir en los repositorios oficiales ni en el AUR.

¿Tiene otro nombre en los repositorios arch? Lo instalé arm-none-eabi-gccpero no parece ser lo que necesito. Buscando en la wiki de Arch encontréesta páginay no me ayudó mucho, pero me dio la impresión de que necesitaba crear y compilar mi propio compilador cruzado. ¿Es este el caso? ¿No hay compiladores cruzados arm disponibles en arch linux?

Además, una vez que logre realizar una compilación cruzada, ¿tendré problemas con las diferentes versiones de paquetes (por ejemplo, glibc) en arch vs en raspbian? Si es así, ¿existe una manera fácil de solucionar esto?

Cualquier ayuda sería muy apreciada.

EDITAR: Al observar cuáles son estos paquetes, parece que lo que realmente necesito es, gcc-arm-linux-gnueabihfpero tampoco está presente en Pacman. Lo más parecido que puedo encontrar está arm-linux-gnueabihf-gccen AUR pero no logro compilarlo porque necesito el compilador cruzado de etapa 1, que también falla por otras razones. Siento que esto es algo que no debería existir únicamente en el aur, ¿me estoy perdiendo algo obvio en los repositorios de Pacman?

información relacionada