46 lines
1.1 KiB
Nix
46 lines
1.1 KiB
Nix
{ config, lib, pkgs, modulesPath, ... }:
|
|
{
|
|
imports = [
|
|
(modulesPath + "/installer/scan/not-detected.nix")
|
|
./config.nix
|
|
];
|
|
|
|
boot = {
|
|
# kernelPackages = pkgs.linuxPackages_rpi4;
|
|
tmpOnTmpfs = true;
|
|
initrd.availableKernelModules = [ "usbhid" "usb_storage" "xhci_pci" ];
|
|
# ttyAMA0 is the serial console broken out to the GPIO
|
|
kernelParams = [
|
|
"8250.nr_uarts=1"
|
|
"console=ttyAMA0,115200"
|
|
"console=tty1"
|
|
# Some gui programs need this
|
|
"cma=128M"
|
|
];
|
|
};
|
|
|
|
# boot.loader.raspberryPi = {
|
|
# enable = true;
|
|
# version = 4;
|
|
# # uboot.enable = true;
|
|
# };
|
|
boot.loader.grub.enable = false;
|
|
boot.loader.generic-extlinux-compatible.enable = true;
|
|
|
|
# Required for the Wireless firmware
|
|
hardware.enableRedistributableFirmware = true;
|
|
|
|
networking.interfaces.eth0.useDHCP = true;
|
|
|
|
# Assuming this is installed on top of the disk image.
|
|
fileSystems = {
|
|
"/" = {
|
|
device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
|
|
fsType = "ext4";
|
|
options = [ "noatime" ];
|
|
};
|
|
};
|
|
|
|
powerManagement.cpuFreqGovernor = "ondemand";
|
|
}
|