75 lines
1.8 KiB
Nix
75 lines
1.8 KiB
Nix
# Do not modify this file! It was generated by ‘nixos-generate-config’
|
||
# and may be overwritten by future invocations. Please make changes
|
||
# to /etc/nixos/configuration.nix instead.
|
||
{ config, lib, pkgs, modulesPath, ... }:
|
||
|
||
{
|
||
imports = [ ];
|
||
|
||
boot = {
|
||
cleanTmpDir = true;
|
||
kernelModules = [ "cma=256M" ];
|
||
extraModulePackages = [ ];
|
||
|
||
loader = {
|
||
grub = {
|
||
device = "nodev";
|
||
enable = false;
|
||
};
|
||
|
||
raspberryPi = {
|
||
enable = true;
|
||
version = 3;
|
||
firmwareConfig = ''
|
||
gpu_mem=256
|
||
'';
|
||
|
||
uboot = {
|
||
enable = true;
|
||
configurationLimit = 10;
|
||
};
|
||
};
|
||
};
|
||
};
|
||
|
||
fileSystems."/nix" = {
|
||
device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
|
||
fsType = "ext4";
|
||
options = [
|
||
"discard"
|
||
"noatime"
|
||
];
|
||
};
|
||
|
||
fileSystems."/mnt" = {
|
||
fsType = "ext4";
|
||
device = "/dev/disk/by-uuid/e419e4b8-d51c-4d5f-ad9f-91c4c0c4a52d";
|
||
options = [
|
||
"mode=777"
|
||
"umask=000"
|
||
"nodev"
|
||
"noexec"
|
||
"discard"
|
||
"noatime"
|
||
];
|
||
};
|
||
|
||
swapDevices = [
|
||
{
|
||
device = "/swapfile";
|
||
}
|
||
];
|
||
|
||
# Enables DHCP on each ethernet and wireless interface. In case of scripted networking
|
||
# (the default) this is the recommended approach. When using systemd-networkd it's
|
||
# still possible to use this option, but it's recommended to use it in conjunction
|
||
# with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
|
||
networking.useDHCP = lib.mkDefault true;
|
||
# networking.interfaces.enu1u1u1.useDHCP = lib.mkDefault true;
|
||
# networking.interfaces.wlan0.useDHCP = lib.mkDefault true;
|
||
|
||
nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux";
|
||
powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand";
|
||
hardware.enableRedistributableFirmware = true;
|
||
}
|