2019-01-13 22:05:12 +00:00
|
|
|
{ pkgs, lib, ... }:
|
|
|
|
{
|
2022-09-23 21:47:47 +00:00
|
|
|
environment.systemPackages = [ pkgs.libraspberrypi ];
|
|
|
|
imports = [ <nixos-hardware/raspberry-pi/4> ];
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_rpi4;
|
2019-01-13 22:05:12 +00:00
|
|
|
fileSystems = {
|
|
|
|
"/" = {
|
|
|
|
device = "/dev/disk/by-label/NIXOS_SD";
|
|
|
|
fsType = "ext4";
|
2022-09-23 21:47:47 +00:00
|
|
|
options = [ "noatime" ];
|
2019-01-13 22:05:12 +00:00
|
|
|
};
|
|
|
|
};
|
2023-06-03 13:17:54 +00:00
|
|
|
hardware.raspberry-pi."4".fkms-3d.enable = true;
|
|
|
|
hardware.raspberry-pi."4".audio.enable = true;
|
2019-01-13 22:05:12 +00:00
|
|
|
}
|