{ config, ... }: { services.xserver.videoDrivers = [ "displaylink" "modesetting" ]; boot = { extraModulePackages = [ config.boot.kernelPackages.evdi ]; kernelModules = [ "evdi" ]; }; }