{ inputs, config, ... }:

{
  flake.nixosConfigurations."traveldroid" = inputs.nixpkgs.lib.nixosSystem {
    system = "x86_64-linux";
    specialArgs = { inherit inputs; };

    modules =
      [
        inputs.home-manager.nixosModules.home-manager
        inputs.stylix.nixosModules.stylix
      ] ++
      (builtins.attrValues config.flake.nixosModules) ++
      [
        ./hardware-configuration.nix

        ({ ... }: {
          networking.hostName = "traveldroid";
          system.stateVersion = "25.11";

          boot = {
	    loader = {
              grub = {
                enable = true;
                efiSupport = true;
                device = "nodev";
                useOSProber = true;
              };

              efi.canTouchEfiVariables = true;
            };

	    # initrd.systemd.tpm2.enable = false;
	    kernelParams = [
              "systemd.mask=dev-tpm0.device"
              "systemd.mask=dev-tpmrm0.device"
	    ];
	  };

	  # systemd.tpm2.enable = false;

	  # Enable various user-defined modules
	  mySystem = {
        # Turn on the core system
        system.core.enable = true;

	    # Hardware-specific modules
	    hardware.nvidia.enable = false;

	    # Define Environment
	    desktop = {
	      hyprland.enable = true;
	      noctalia.enable = true;
	      stylix.enable = true;
	    };
	  };
        })
      ];
  };
}