I followed nix.dev to install NixOS on a Raspberry Pi.
Now I need to add something to
config.txt. The guide says:
- To tweak bootloader options affecting hardware, see config.txt options and change the options by running
mount /dev/disk/by-label/FIRMWARE /mnt and opening
dtoverlay=gpio-ir,gpio_pin=23 to get my IR receiver to work, but when I try
ir-keytable it says
No devices found. How can I check if the
config.txt is applied?
Here is the output of
dtc -I fs /sys/firmware/devicetree/base
The output is the same after I remove
config.txt, leading me to believe that it does not work…
I used one of these overlays linux/arch/arm/boot/dts/overlays at 326dea65f88e75d25960ecce49df23a0d76bbac0 · raspberrypi/linux · GitHub
With the ovmerge Perl script: utils/ovmerge at 53f7816f275c1b77b6cc8d51e4efa7e863a7c40e · raspberrypi/utils · GitHub
It spit out an overlay that I tried to apply with
hardware.deviceTree.overlays, with no success…
May be related:
Yay! Replacing the
compatible line works.