# Edit this configuration file to define what should be installed on
# your system.  Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).
{
  inputs,
  pkgs,
  builtins,
  config,
  lib,
  ...
}: {
  imports = [
    ./hardware-configuration.nix
    ./home-controller.nix
  ];

  boot.loader.timeout = lib.mkForce 0;

  boot.loader.generic-extlinux-compatible.enable = lib.mkForce false;

  boot.loader.grub = {
    enable = lib.mkForce true;
    efiSupport = true;
    efiInstallAsRemovable = true;
    device = "nodev";

    extraInstallCommands = ''
      cp -r ${inputs.nixpkgs-hensoko.packages.aarch64-linux.raspberrypi4_firmware_uefi}/share/raspberrypi4-firmware-uefi/* /boot/
    '';
  };

  # Set your time zone.
  time.timeZone = "Europe/Berlin";

  # The global useDHCP flag is deprecated, therefore explicitly set to false here.
  # Per-interface useDHCP will be mandatory in the future, so this generated config
  # replicates the default behaviour.
  networking.useDHCP = false;
  networking.interfaces.enabcm6e4ei0.useDHCP = true;
  networking.networkmanager.enable = lib.mkForce false;

  boot.loader.systemd-boot.enable = lib.mkForce false;

  # Open ports in the firewall.
  networking.firewall.allowedTCPPorts = [2380 6443];
  # networking.firewall.allowedUDPPorts = [ ... ];
  # Or disable the firewall altogether.
  # networking.firewall.enable = false;

  # This value determines the NixOS release from which the default
  # settings for stateful data, like file locations and database versions
  # on your system were taken. It‘s perfectly fine and recommended to leave
  # this value at the release version of the first install of this system.
  # Before changing this value read the documentation for this option
  # (e.g. man configuration.nix or on https://nixos.org/nixos/options.html).
  system.stateVersion = "22.11"; # Did you read the comment?
}