{ pkgs, lib, config, nixos-hardware, ... }:
{
  config = {
    boot = {
      # From nixos-generate-config
      initrd.availableKernelModules = [ "nvme" "xhci_pci" "usb_storage" "sd_mod" "sdhci_pci" ];
      kernelModules = [ "kvm-amd" ];
    };

    # Needed for Wi-Fi
    hardware.enableRedistributableFirmware = true;

    frogeye.desktop = {
      x11_screens = [ "eDP-1" ];
      maxVideoHeight = 1080;
    };

    # Alt key swallowed the Meta one
    home-manager.users.geoffrey = { ... }: {
      xsession.windowManager.i3.config.modifier = "Mod1";
    };

  };
  imports = [
    nixos-hardware.nixosModules.common-cpu-amd
    nixos-hardware.nixosModules.common-gpu-amd
    nixos-hardware.nixosModules.common-pc-laptop
    nixos-hardware.nixosModules.common-pc-ssd
    # TODO Fix sound
  ];
}