7bd5ab3ee5
The Pi 3 profile didn't import ../common/default.nix, so it skipped the shared boot.initrd.availableKernelModules (usb-storage, usbhid, vc4). Every other board profile imports common/. Bring Pi 3 in line.
38 lines
1.1 KiB
Nix
38 lines
1.1 KiB
Nix
{ lib, pkgs, ... }:
|
|
|
|
{
|
|
imports = [
|
|
../common/default.nix
|
|
];
|
|
|
|
boot = {
|
|
kernelPackages = lib.mkDefault (
|
|
pkgs.linuxPackagesFor (pkgs.callPackage ../common/kernel.nix { rpiVersion = 3; })
|
|
);
|
|
};
|
|
|
|
# fix the following error :
|
|
# modprobe: FATAL: Module ahci not found in directory
|
|
# https://github.com/NixOS/nixpkgs/issues/154163#issuecomment-1350599022
|
|
nixpkgs.overlays = [
|
|
(_final: super: {
|
|
makeModulesClosure = x: super.makeModulesClosure (x // { allowMissing = true; });
|
|
})
|
|
];
|
|
|
|
# https://github.com/NixOS/nixpkgs/blob/b72bde7c4a1f9c9bf1a161f0c267186ce3c6483c/nixos/modules/installer/sd-card/sd-image-aarch64.nix#L12
|
|
# Use the extlinux boot loader. (NixOS wants to enable GRUB by default)
|
|
boot.loader.grub.enable = lib.mkDefault false;
|
|
# Enables the generation of /boot/extlinux/extlinux.conf
|
|
boot.loader.generic-extlinux-compatible.enable = lib.mkDefault true;
|
|
|
|
# The last console argument in the list that linux can find at boot will receive kernel logs.
|
|
# The serial ports listed here are:
|
|
# - ttyS0: serial
|
|
# - tty0: hdmi
|
|
boot.kernelParams = [
|
|
"console=ttyS0,115200n8"
|
|
"console=tty0"
|
|
];
|
|
|
|
}
|