{ pkgs, lib, ... }: { environment.systemPackages = [ pkgs.libraspberrypi ]; imports = [ ]; boot.kernelPackages = pkgs.linuxPackages_rpi4; fileSystems = { "/" = { device = "/dev/disk/by-label/NIXOS_SD"; fsType = "ext4"; options = [ "noatime" ]; }; }; #hardware.raspberry-pi."4".fkms-3d.enable = true; }