{ pkgs, lib, config, nixos-hardware, ... }:
{
  config = {
    boot = {
      # nixos-hardware use latest kernel by default. It has been set a while ago, we maybe don't need it anymore?
      kernelPackages = pkgs.linuxPackages;

      # Otherwise it will not show stage1 echo and prompt
      # UPST
      kernelParams = [ "console=tty0" ];

      # EFI Variables don't seem to work (no generation appear in systemd-boot with SD)
      loader.efi.canTouchEfiVariables = false;
    };

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

  };
  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
  ];
}