NixOS on ARM/Raspberry Pi 4: Difference between revisions

Adjust to correct SPI device tree options
RobH (talk | contribs)
Configuration: Soften recommendation to use hardware channel. Modern kernel can work as well or better for audio.
Line 47: Line 47:
Using <code>nixos-generate-config</code> will generate the required minimal configuration.
Using <code>nixos-generate-config</code> will generate the required minimal configuration.


For better GPU support and some deviceTree quirks add the nixos-hardware channel:
Raspberry Pi 4 is well-supported on modern kernels. However, if you encounter issues with GPU support or other deviceTree quirks, you may wish to add the nixos-hardware channel:


<code>
<code>
Line 78: Line 78:
}
}
</nowiki>}}
</nowiki>}}
=== USB boot ===
=== USB boot ===