New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support Raspberry Pi 4 (8 GB) #89717
Conversation
raspberrypi-tools in your patchset tries to apply the |
The |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The change is listed in-line, and is as @arachnist said.
Everything else looks alright, though I could not test the following, only built them: rpiboot-unstable
, libraspberrypi
and raspberrypi-tools
.
rev = "de4a7f2e3c391e2d3bc76af31864270e7802d9ac"; | ||
sha256 = "0w96xa98ngdk9m6wv185w8waa7wm2hkn2bhxz52zd477hchzrxlg"; | ||
rev = "f97b1af1b3e653f9da2c1a3643479bfd469e3b74"; | ||
sha256 = "1r7n05rv96hqjq0rn0qzchmfqs0j7vh3p8jalgh66s6l0vms5mwy"; | ||
}; | ||
|
||
patches = [ ./tools-dont-install-sysv-init-scripts.patch ]; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is not needed anymore. It can be removed entirely, as the thing it patches has been removed from the repo.
This is now supported upstream (NixOS/nixpkgs#89717)!
This change simply bumps the versions for all fetchFromGitHub derivations which pull from the official raspberrypi GitHub repository. The firmware and kernel versions currently being used are too old to support the new 8GB model.
Motivation for this change
NixOS doesn't boot on the 8GB Raspberry Pi 4. See #63720
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)I was able to build an sd-image using the config files from https://github.com/Robertof/nixos-docker-sd-image-builder as a starting point. I made no significant changes to the config file that repo offers as a starting point. I performed the build on the rpi itself while running Ubuntu Server (I was having issues with qemu/docker). The resulting sd-image file successfully booted when loaded onto an SD card.
I did no other testing at all.
Closes #90618
Closes #89659