This repository has no description
1.1 kB
49 lines
1{ 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 = [
12 "usbhid"
13 "usb_storage"
14 "xhci_pci"
15 ];
16 # ttyAMA0 is the serial console broken out to the GPIO
17 kernelParams = [
18 "8250.nr_uarts=1"
19 "console=ttyAMA0,115200"
20 "console=tty1"
21 # Some gui programs need this
22 "cma=128M"
23 ];
24 };
25
26 # boot.loader.raspberryPi = {
27 # enable = true;
28 # version = 4;
29 # # uboot.enable = true;
30 # };
31 boot.loader.grub.enable = false;
32 boot.loader.generic-extlinux-compatible.enable = true;
33
34 # Required for the Wireless firmware
35 hardware.enableRedistributableFirmware = true;
36
37 networking.interfaces.eth0.useDHCP = true;
38
39 # Assuming this is installed on top of the disk image.
40 fileSystems = {
41 "/" = {
42 device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
43 fsType = "ext4";
44 options = [ "noatime" ];
45 };
46 };
47
48 powerManagement.cpuFreqGovernor = "ondemand";
49}