{pkgs, ...}: { hardware = { deviceTree = { enable = true; overlays = ["${pkgs.device-tree_rpi.overlays}/hifiberry-dac.dtbo"]; }; enableRedistributableFirmware = true; i2c.enable = true; firmware = with pkgs; [ raspberrypiWirelessFirmware ]; }; }