{
  den,
  modules,
  inputs,
  ...
}:
{
  flake-file.inputs = {
    x1e-kernel.url = "file:///home/doloro/x1e-kernel-main.zip";
  };
  modules.surface-patches = {
    nixos =
      { pkgs, lib, ... }:
      {
        imports = with inputs; [
          x1e-kernel.nixosModules.default
        ];

        # Prevent reboot hang - qcom_smd_qrtr workers stuck in D-state
        systemd.settings.Manager.DefaultTimeoutStopSec = "15s";
        systemd.settings.Manager.DefaultDeviceTimeoutSec = "15s";

        # Hardware watchdog (SBSA Generic Watchdog) as safety net
        systemd.settings.Manager = {
          KExecWatchdogSec = "30s";
          RebootWatchdogSec = "30s";
          RuntimeWatchdogSec = "30s";
        };

        # Override udevd stop timeout (D-state workers can't be killed)
        systemd.services.systemd-udevd.serviceConfig.TimeoutStopSec = lib.mkForce "10s";
      };
  };
}