persiskv deployment
[myNix.git] / lbhost / pi-toy.nix
blob9f217e68728a298e63ac4a2408af18d2020d8cbe
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