sakaki- has a build guide here: https://github.com/sakaki-/gentoo-on-rpi-64bit/wiki/Build-an-RPi4-64bit-Kernel-on-your-crossdev-PC https://github.com/sakaki-/ge

sakaki- has a build guide here: https://github.com/sakaki-/gentoo-on-rpi-64bit/wiki/Build-an-RPi4-64bit-Kernel-on-your-crossdev-PC https://github.com/sakaki-/gentoo-on-rpi-64bit/wiki/Build-an... And weekly kernel builds here: https://github.com/sakaki-/bcm2711-kernel https://github.com/sakaki-/bcm2711-kernel She focuses more on Gentoo, but it's mostly the same - just pop it onto an existing Debian 64 image.