NixOS 26.05 raspberry pi 4 kernel cache missing?

[eblechschmidt]

No, you are not. There is no cache available. I just recompiled the other day on an x86 machine. It took a bit over 12 hours.

When I have time I will try to check if a mainline kernel does the job for me. Some people seem to be using it:

Compiling rpi4 kernel in on x86_64 nixos-hardware slow

As in it takes many hours, and there doesn’t appear to be any cached build available. Any better options? It is slow because it wants to build via emulator. So I guess in theory setting up a cross build would be faster. But my attempts to cross build the rpi4 kernel have been failures so far. As in it typically wants to cross compile all the build tools too, and that ends being very slow and failing. It use to be the rpi4 kernel was available in nixpkgs, and cached, but I think this is no lon…