{ config, lib, pkgs, modulesPath, ... }:

{
  # TODO: Replace this file with the output of `nixos-generate-config --show-hardware-config`
  # on your Raspberry Pi, or use an appropriate hardware module.
  #
  # Example for Raspberry Pi 4:
  #
  #   imports = [ "${modulesPath}/installer/sd-card/sd-image-aarch64.nix" ];
  #
  #   hardware.enableRedistributableFirmware = true;

  imports = [ ];

  boot.loader.grub.enable = false;
  boot.loader.generic-extlinux-compatible.enable = true;

  fileSystems."/" = {
    device = "/dev/disk/by-label/NIXOS_SD";
    fsType = "ext4";
  };
}