{
  pkgs,
  config,
  ...
}: {
  boot = {
    kernelPackages = pkgs.linuxPackages_latest;

    # Cattpuccin Mocha TTY color theme
    kernelParams = ["vt.default_red=30,243,166,249,137,245,148,186,88,243,166,249,137,245,148,166" "vt.default_grn=30,139,227,226,180,194,226,194,91,139,227,226,180,194,226,173" "vt.default_blu=46,168,161,175,250,231,213,222,112,168,161,175,250,231,213,200"];
    extraModulePackages = [config.boot.kernelPackages.ddcci-driver];
    kernelModules = ["i2c-dev" "ddcci_backlight"];
  };
}
