{
  den,
  modules,
  __findFile,
  ...
}:
{
  den.aspects.laptop = {
    nixos =
      {
        pkgs,
        lib,
        config,
        ...
      }:
      {

        boot.initrd.availableKernelModules = [
          "xhci_pci"
          "thunderbolt"
          "vmd"
          "nvme"
        ];
        boot.initrd.kernelModules = [ ];
        boot.kernelModules = [ "kvm-intel" ];
        boot.extraModulePackages = [ ];

        nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
        hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;

      };
  };
}