24.05 don't have any wireless interface on RPI4. #18
Description
Note, all of this is made with a RPI4
Nice project. I recently got one of my nix raspberry pi goes insane with bluetooth but with your flake I successfully make bluetooth re work.
However I downgread my version of Nixpkgs to 23.11 since in unstable and 24.05 wlan0 never appear and a time out of 1minutes and 30 stop the boot.
I tough I could counter this issue temporary with an official raspberry pi dongle but it's seem there is an issue with the wireless module.
I can't really help a lot here for more detail information since I don't have the time to discuss but an easy way to reproduce is taking the starting flake and go to 24.05 branch and just boot.
If nix is truly reproducible you should get the same weird no wlan0 and etc...
Have a nice day ^^