This repository has been archived on 2024-07-08. You can view files and clone it, but cannot push or open issues or pull requests.
nix-config-tn/nixos/profiles/hw-rpi4.nix

34 lines
707 B
Nix
Raw Normal View History

2024-03-25 04:12:45 -05:00
{ 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;
2024-03-25 04:12:45 -05:00
};
};
nixpkgs.hostPlatform.system = "aarch64-linux";
nixpkgs.buildPlatform.system = "x86_64-linux";
2024-03-25 04:12:45 -05:00
console.enable = false;
2024-03-25 04:12:45 -05:00
mySystem.system.packages = with pkgs; [
libraspberrypi
raspberrypi-eeprom
];
}