2022-11-19 20:00:54 +01:00
|
|
|
{ nixpkgs, nixos-hardware, ... }:
|
2022-10-10 18:33:45 +02:00
|
|
|
let
|
2022-10-13 14:14:30 +02:00
|
|
|
pkgs = import nixpkgs {
|
|
|
|
system = "aarch64-linux";
|
|
|
|
};
|
2022-10-10 18:33:45 +02:00
|
|
|
in
|
|
|
|
{
|
|
|
|
imports = [
|
2022-10-13 14:14:30 +02:00
|
|
|
nixos-hardware.nixosModules.raspberry-pi-4
|
2022-10-10 18:33:45 +02:00
|
|
|
../../users/root
|
|
|
|
../../users/erwin
|
|
|
|
];
|
|
|
|
|
2022-12-06 15:40:12 +01:00
|
|
|
fileSystems."/" = {
|
|
|
|
device = "/dev/disk/by-label/nixos";
|
|
|
|
fsType = "ext4";
|
|
|
|
options = [ "noatime" ];
|
|
|
|
};
|
|
|
|
|
2022-10-10 18:33:45 +02:00
|
|
|
eboskma = {
|
|
|
|
users.erwin = {
|
|
|
|
enable = true;
|
|
|
|
};
|
2022-10-13 14:14:30 +02:00
|
|
|
base.kernel = pkgs.linuxPackages_rpi4;
|
2022-10-10 18:33:45 +02:00
|
|
|
desktop.enable = true;
|
|
|
|
fonts.enable = true;
|
|
|
|
gnome.enable = true;
|
|
|
|
greetd.enable = true;
|
|
|
|
networking.enable = true;
|
|
|
|
nix-common.enable = true;
|
|
|
|
sound.enable = true;
|
|
|
|
systemd.enable = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
hardware = {
|
|
|
|
enableRedistributableFirmware = true;
|
|
|
|
raspberry-pi."4" = {
|
|
|
|
fkms-3d.enable = true;
|
|
|
|
audio.enable = true;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
networking = {
|
|
|
|
hostName = "eitri";
|
|
|
|
networkmanager = {
|
|
|
|
enable = true;
|
|
|
|
wifi = {
|
|
|
|
backend = "iwd";
|
|
|
|
powersave = false;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
services.openssh.enable = true;
|
|
|
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
raspberrypi-eeprom
|
|
|
|
];
|
|
|
|
|
|
|
|
system.stateVersion = "22.11";
|
|
|
|
}
|