This repository has no description
1.1 kB
45 lines
1{ config, lib, pkgs, modulesPath, ... }:
2{
3 imports = [
4 (modulesPath + "/installer/scan/not-detected.nix")
5 ./config.nix
6 ];
7
8 boot = {
9 # kernelPackages = pkgs.linuxPackages_rpi4;
10 tmpOnTmpfs = true;
11 initrd.availableKernelModules = [ "usbhid" "usb_storage" "xhci_pci" ];
12 # ttyAMA0 is the serial console broken out to the GPIO
13 kernelParams = [
14 "8250.nr_uarts=1"
15 "console=ttyAMA0,115200"
16 "console=tty1"
17 # Some gui programs need this
18 "cma=128M"
19 ];
20 };
21
22 # boot.loader.raspberryPi = {
23 # enable = true;
24 # version = 4;
25 # # uboot.enable = true;
26 # };
27 boot.loader.grub.enable = false;
28 boot.loader.generic-extlinux-compatible.enable = true;
29
30 # Required for the Wireless firmware
31 hardware.enableRedistributableFirmware = true;
32
33 networking.interfaces.eth0.useDHCP = true;
34
35 # Assuming this is installed on top of the disk image.
36 fileSystems = {
37 "/" = {
38 device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
39 fsType = "ext4";
40 options = [ "noatime" ];
41 };
42 };
43
44 powerManagement.cpuFreqGovernor = "ondemand";
45}