Closed tshakah closed 1 month ago
That shouldn't be happening on this repo, which a pinned version of rpi's kernel fork.
Are you using raspberry-pi-nix
master and setting the raspberry-pi-nix.board
option to bcm2711
? It defaults to bcm2712
now, so if you leave it at the default, pi 4 won't boot.
Defaulting to bcm2712
is a mistake I think. We should have no default and require the user to specify I think.
Thanks for the quick reply! I was chatting to a colleague about it and we decided to try a different kernel version, and they noticed the board being set to bcm2712
when looking through this repo's code to see how to do that. They were going to try change it to bcm2711
and get back to me, so it's good to know that should work.
Changing the board worked, thanks.
Came across this today when I updated a pi 4 (pi 5 worked fine). Really stumped me, and then I noticed this issue in nixpkgs: https://github.com/NixOS/nixpkgs/issues/325473.
This is mostly an FYI for anyone else if people look here for issues and don't think to look in nixpkgs too