1error:2 … while evaluating a branch condition3 at «string»:25:5:4 24| v:5 25| if !builtins.isAttrs v || isDrv v then6 | ^7 26| v89 … in the left operand of the OR (||) operator10 at «string»:25:28:11 24| v:12 25| if !builtins.isAttrs v || isDrv v then13 | ^14 26| v1516 … while evaluating definitions from `/nix/store/9iv83r72z5xwgylkwms1qip1ijnr6jqs-source/modules/transposition.nix':1718 … while evaluating definitions from `/nix/store/z9qmbadbjnapcnsl7ln886ilph8zvcs0-source/flake.nix, via option perSystem':1920 … while evaluating the option `system.build.toplevel':2122 … while evaluating definitions from `/nix/store/wr3njgpzrbmxfcdys91h0x23i9v12551-source/nixos/modules/system/activation/top-level.nix':2324 (stack trace truncated; use '--show-trace' to show the full, detailed trace)2526 error:27 Failed assertions:28 - The option definition `hardware.raspberry-pi."4".poe-plus-hat' in `/nix/store/z9qmbadbjnapcnsl7ln886ilph8zvcs0-source/hosts/gaia/fan-control.nix' no longer has any effect; please remove it.29 Use the stock rpi-poe-plus firmware overlay instead:3031 hardware.raspberry-pi.configtxt.deviceTreeOverlays."board-type=0x11" = [32 {33 rpi-poe-plus = {34 poe_fan_temp0 = 40000;35 poe_fan_temp0_hyst = 2000;36 poe_fan_temp1 = 45000;37 poe_fan_temp1_hyst = 2000;38 poe_fan_temp2 = 50000;39 poe_fan_temp2_hyst = 2000;40 poe_fan_temp3 = 55000;41 poe_fan_temp3_hyst = 5000;42 };43 }44 ];4546 These are the overlay defaults. Parameters that were not customized can47 be omitted.484950 - The option definition `hardware.raspberry-pi."4".dwc2' in `/nix/store/z9qmbadbjnapcnsl7ln886ilph8zvcs0-source/hosts/gaia/gaia1.nix' no longer has any effect; please remove it.51 Use the stock dwc2 firmware overlay instead:5253 {54 boot.loader.generic-extlinux-compatible.useGenerationDeviceTree =55 false;5657 hardware.raspberry-pi.configtxt.deviceTreeOverlays.pi4 = [58 { dwc2 = { }; }59 ];60 }6162 If you set dr_mode on the old option, add it to the overlay. For63 example:6465 { dwc2.dr_mode = "host"; }6667 For CM4 and firmware-partition setup, see "DWC2 USB controller" in68 raspberry-pi/README.md.