NixOS on ARM/Raspberry Pi 4: Difference between revisions
undo accidental chinese translation Tags: Manual revert Visual edit |
Made changes to reflect deprecation of firmwareConfig |
||
| Line 79: | Line 79: | ||
</nowiki>}} | </nowiki>}} | ||
=== <code>config.txt === | |||
{{warning|Since 24.11, the option <code>boot.loader.raspberrypi</code> which included <code>firmwareConfig</code> is removed from <code>nixpkgs</code>, therefore changes have to be written to <code>config.txt</code> directly<ref>https://github.com/NixOS/nixpkgs/pull/241534</ref>}} | |||
To edit options only available through <code>config.txt</code>, as of May 12, 2025, you can only do so non-declaratively: | |||
{{commands|<nowiki> | |||
$ sudo mount /dev/disk/by-label/FIRMWARE /mnt | |||
$ sudo vim /mnt/config.txt # <-- make changes here | |||
</nowiki> | |||
}} | |||
For example, [[https://www.raspberrypi-spy.co.uk/2020/11/overclocking-the-raspberry-pi-400/ overclocking]] the Raspberry Pi 400 can be done by adding the following: | |||
{{file|config.txt|<nowiki> | |||
arm_freq=2000 | |||
over_voltage=6 | |||
</nowiki> | |||
}} | |||
=== USB boot === | === USB boot === | ||
| Line 139: | Line 156: | ||
# Enable audio devices | # Enable audio devices | ||
boot.kernelParams = [ "snd_bcm2835.enable_hdmi=1" "snd_bcm2835.enable_headphones=1" ]; | boot.kernelParams = [ "snd_bcm2835.enable_hdmi=1" "snd_bcm2835.enable_headphones=1" ]; | ||
} | } | ||
</nowiki>}} | |||
{{file|config.txt|txt|<nowiki> | |||
dtparam=audio=on | |||
</nowiki>}} | </nowiki>}} | ||