{ inputs, options, ... }:

inputs.nixpkgs.lib.nixosSystem {
  specialArgs = { inherit inputs; };
  system = "x86_64-linux";
  modules = [
    options
    inputs.home-manager.nixosModules.home-manager
    ../modules
    {
      # options
      desktop.enable = true;
      system.enable = true;
      monitor = {
        name = "eDP-1";
        scale = 1.25;
      };

      # bootloader
      boot.loader.systemd-boot.enable = true;
      boot.loader.efi.canTouchEfiVariables = true;

      # hostname
      networking.hostName = "shinji";

      # kernel modules
      boot.initrd.availableKernelModules = [
        "nvme"
        "xhci_pci"
        "thunderbolt"
        "usb_storage"
        "sd_mod"
      ];
      boot.initrd.kernelModules = [ ];
      boot.kernelModules = [ "kvm-amd" ];
      boot.extraModulePackages = [ ];

      # firmware
      hardware.enableRedistributableFirmware = true;
      hardware.cpu.amd.updateMicrocode = true;

      # luks device
      boot.initrd.luks.devices."root".device = "/dev/disk/by-uuid/ad489bfa-4280-44ea-8ad2-60347b516d60";

      # root
      fileSystems."/" = {
        device = "/dev/disk/by-uuid/b43a7cf6-b9aa-44c2-ad29-da24ffa56901";
        fsType = "btrfs";
      };

      # boot
      fileSystems."/boot" = {
        device = "/dev/disk/by-uuid/6F93-6A0B";
        fsType = "vfat";
        options = [ "fmask=0022" "dmask=0022" ];
      };

      # swap
      swapDevices = [
        { device = "/dev/disk/by-uuid/57caa02d-8569-43e3-8bf9-09dd6f02b191"; }
      ];
    }
  ];
}