1 { config, pkgs, lib, ... }:
4 imports = lib.optionals (builtins.pathExists ./default.nix) [ ./default.nix ];
5 # NixOS wants to enable GRUB by default
6 boot.loader.grub.enable = false;
7 # Enables the generation of /boot/extlinux/extlinux.conf
8 boot.loader.generic-extlinux-compatible.enable = true;
10 # !!! If your board is a Raspberry Pi 1, select this:
11 boot.kernelPackages = pkgs.linuxPackages_rpi;
12 # On other boards, pick a different kernel, note that on most boards with good mainline support, default, latest and hardened should all work
13 # Others might need a BSP kernel, which should be noted in their respective wiki entries