# numlock on boot in console mode
  systemd.services."getty@" = {
    description = "Keep numlock on in console mode";
    serviceConfig = {
      ExecStartPre="/bin/sh -c '${pkgs.kbd}/bin/setleds -D +num < /dev/%I'";
    };
  };