{ config, pkgs, lib, flake-inputs, ... }:

{
  imports = [
    ../modules/session.nix
    ../modules/server.nix
    ../modules/systemd-efi.nix
    ../modules/luks.nix
    ../modules/users.nix
    ../modules/serial-console.nix
    ../modules/pragmatic-bin.nix
  ];

  hardware.enableRedistributableFirmware = true;
}