mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-12-27 03:59:45 +01:00
34 lines
1 KiB
Nix
34 lines
1 KiB
Nix
{ lib
|
|
, pkgs
|
|
, ...
|
|
}:
|
|
|
|
{
|
|
boot.kernelPackages = lib.mkDefault pkgs.linuxKernel.packages.linux_rpi3;
|
|
|
|
# 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"
|
|
];
|
|
|
|
}
|