oof they made NixOS on raspberry pi even more of a giant pain in the ass – by moving the vendored kernel out of nixpkgs, so now you have to compile it yourself on every update. Which takes forever even if you have a fast aarch64 machine on hand for building. ðŸ«