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

{
  # Raspberry Pi 4 — aarch64 worker node
  boot = {
    kernelPackages = pkgs.linuxPackages_rpi4;
    loader = {
      grub.enable = false;
      generic-extlinux-compatible.enable = true;
    };
  };

  # ARM-specific performance
  hardware.enableRedistributableFirmware = true;

  # Local storage
  systemd.tmpfiles.rules = [
    "d /data/k3s 0755 root root -"
  ];

  # RPi 4 throttling protection
  powerManagement.cpuFreqGovernor = "ondemand";
}