Conversation
nvmd
left a comment
There was a problem hiding this comment.
Thanks for the PR.
I'm also working on bringing at least some level of support to RPi5 until upstream support is there, we definitely need to start somewhere with moving/adding 5's support to nixos-hardware.
Co-authored-by: Sergey Kazenyuk <[email protected]>
9ba3f40 to
c649cd3
Compare
|
@nvmd Do you have rights to merge? |
|
No, I don't, even if I had I would ask for a feedback more active members as well, whether this PR "fits" in its current state. |
|
@mergify queue |
✅ The pull request has been merged automaticallyDetailsThe pull request has been merged automatically at 8a4adfe |
|
To make this clear, is this supposed to be the official kernel for rpi5, or a slight modification of kernel 4 as suggested in the wiki? |
|
& how might one build an image like this? |
Description of changes
Add necessary configuration for the Raspberry Pi 5. More detailed documentation is on the wiki.
Supersedes NixOS/nixpkgs#284391.
Things done
nixos-hardwareandimporting it via
<nixos-hardware>or Flake input