nix-config-tn/nixos/profiles/hw-rpi4.nix

{ config, lib, pkgs, imports, boot, ... }:

with lib;
{
  boot = {

    initrd.availableKernelModules = [ "xhci_pci" "usb_storage" ];
    initrd.kernelModules = [ ];
    kernelModules = [ ];
    extraModulePackages = [ ];

    loader = {
      # Use the extlinux boot loader. (NixOS wants to enable GRUB by default)
      grub.enable = false;
      # Enables the generation of /boot/extlinux/extlinux.conf
      generic-extlinux-compatible.enable = true;
      timeout = 2;
    };
  };

  nixpkgs.hostPlatform.system = "aarch64-linux";

  console.enable = false;

  mySystem.system.packages = with pkgs; [
    libraspberrypi
    raspberrypi-eeprom
  ];


}