Raspberry Pi 3 documentation

I have been trying to configure a raspberry pi 3(B+) and I keep bumping on documentation on the wiki that is not working and probably outdated. I want to fix the documentation, but finding out how things actually work proves difficult.

For example the wiki has the following entry for audio support:NixOS on ARM/Raspberry Pi 3 - NixOS Wiki, but changing boot.loader.raspberryPi.firmwareConfig does not actually change the /boot/config.txt even though the raspberry pi module is enabled with u-boot.

There is a more or less stale issue mentioning this (/boot/config.txt related questions for Raspberry Pi · Issue #67792 · NixOS/nixpkgs · GitHub) but there is no movement there. A few PR’s have been openened/merged for Raspberry Pi in general and I think some of those changes may have changed the default behavior.

So what I am looking for in order to improve the wiki:

  • A working configuration running on a Raspberry Pi 3(B+)
  • How the bootloader currently works (multiple options?)
  • How to set config.txt values

The Raspberry Pi 3 is currently the only officially supported raspberry pi, so let’s try to fix the docs!