I installed NixOS on a rpi 3B. I have the nixos-hardware for the raspberry pi 3 enabled. Normal GPIO functions properly (I am using GitHub - golemparts/rppal: A Rust library that provides access to the Raspberry Pi's GPIO, I2C, PWM, SPI and UART peripherals.), but PWM does not. With rppal, I get an error “File not found”. /sys/class/pwm is empty. I tried doing boot.kernelModules = [ "pwm_bcm2835" "w1-gpio" ]; as mentioned in Raspberry Pi4: GPIO Access and Hardware Revision Missing · Issue #122993 · NixOS/nixpkgs · GitHub, but PWM still doesn’t show up.