{
  config,
  lib,
  pkgs,
  modulesPath,
  ...
}: {
  imports = [
    (modulesPath + "/installer/scan/not-detected.nix")
  ];

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

  services.btrfs.autoScrub.enable = true;
  fileSystems."/" = {
    device = "/dev/mapper/crypted";
    fsType = "btrfs";
    options = ["subvol=@root"];
  };

  boot.initrd.luks.devices."crypted".device = "/dev/disk/by-uuid/84ad0e15-0056-4d46-801d-7735c2c6a5f6";

  fileSystems."/home" = {
    device = "/dev/mapper/crypted";
    fsType = "btrfs";
    options = ["subvol=@home"];
  };

  fileSystems."/nix" = {
    device = "/dev/mapper/crypted";
    fsType = "btrfs";
    neededForBoot = true;
    options = ["subvol=@nix" "noatime"];
  };

  fileSystems."/boot" = {
    device = "/dev/disk/by-label/BOOT";
    fsType = "vfat";
  };

  swapDevices = [
    {device = "/dev/disk/by-label/SWAP";}
  ];

  # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
  # (the default) this is the recommended approach. When using systemd-networkd it's
  # still possible to use this option, but it's recommended to use it in conjunction
  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
  networking.useDHCP = lib.mkDefault true;
  # networking.interfaces.wlp166s0.useDHCP = lib.mkDefault true;

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

  networking.hostName = "framework-13";

  services.hardware.bolt.enable = true;

  system.stateVersion = "24.11"; # do not change
  home-manager.users.${config.user}.imports = [
    {
      home.stateVersion = "24.11";

      wayland.windowManager.hyprland = {
        settings = {
          bind = [
            "SUPER_SHIFT, Q, killactive,"
          ];
        };
        extraConfig = ''
          device {
            name = at-translated-set-2-keyboard
            kb_variant = dvorak,
            kb_layout = gb,gb
            kb_options = grp:alt_shift_toggle,caps:escape
          }
        '';
      };

      programs.niri.settings.outputs = {
        # Laptop display
        "eDP-1" = {
          mode = {
            width = 2256;
            height = 1504;
            refresh = 59.999;
          };
        };
        # HP 24x
        "DP-3" = {
          mode = {
            width = 1920;
            height = 1080;
            refresh = 144.001;
          };
          scale = 1.0;
          position = {
            x = 2256;
            y = 0;
          };
        };
        # ASUS display
        "DP-7" = {
          mode = {
            width = 1920;
            height = 1080;
            refresh = 60.0;
          };
          scale = 1.0;
          position = {
            x = 2256 + 1920;
            y = 0;
          };
        };
      };
    }
  ];

  stylix.fonts.sizes = {
    applications = 12;
    desktop = 10;
    terminal = 15;
  };
}