{ pkgs, username, ... }:
{
  imports = [ ./laptop.nix ];
  home-manager.users.${username} = {
    imports = [ ./home/work.nix ];
    home.stateVersion = "23.05";
    wayland.windowManager.hyprland.settings.monitor = [
      "eDP-1,preferred,auto,1.25"
      "desc:Dell Inc. DELL P3223QE CCG8YN3,preferred,auto-left,1.5"
    ];
  };
  boot.initrd = {
    secrets = {
      "/crypto_keyfile.bin" = null;
    };
    luks.devices."luks-761eeb11-3091-4142-9232-4fb33165eccd" = {
      device = "/dev/disk/by-uuid/761eeb11-3091-4142-9232-4fb33165eccd";
      keyFile = "/crypto_keyfile.bin";
    };
  };
  system.stateVersion = "23.05";
  environment = {
    etc."ppp/options".text = ''
      ipcp-accept-remote
    '';
    systemPackages = with pkgs; [ openfortivpn ];
  };
  services.hardware.bolt.enable = true;
}