{ den, inputs, ... }: {
  den.aspects.notebook-specific.nixos = { pkgs, ... }: {
    imports = [
      ./_hardware/notebook-hardware.nix
      ./_hardware/notebook-disko.nix
      inputs.disko.nixosModules.disko
    ];

    hardware.graphics = {
      enable      = true;
      enable32Bit = true;
    };

    services.thermald.enable = true;

    boot = {
      # Hardware-specific modules (kvm-intel/kvm-amd, nvme, etc.) come from
      # modules/_hardware/notebook-hardware.nix, generated during installation
      # by nixos-generate-config --no-filesystems --show-hardware-config.
      initrd.kernelModules = [ "dm-crypt" ];
      initrd.compressor    = "zstd";

      loader = {
        grub = {
          enable             = true;
          device             = "nodev";
          efiSupport         = true;
          configurationLimit = 2;
          enableCryptodisk   = true;
        };
        efi.canTouchEfiVariables = true;
      };
    };
  };
}