Gnome animation effects are laggy under 3840x2160. I believe it would work well with 1080p, although I didnt try it(I have another machine with hd620 that works well with 1080p).
It is more about hd620 than 7500u. Cpu usage is not very high when the lag happens.
Besides, it seems that gnome Xorg session perform better than gnome wayland session.
I’m not using a Librem but I am using Intel integrated graphics. I found the same using Wayland compared to Xorg, and performance is pretty terrible for me at 4K. So I am also interested to hear any suggestions.
Just don’t use Gnome. My only computer on which Gnome was don’t laggy - Intel Core i7 4820K, Nvidia GTX 1070, 2560x1440@144. Any other computers have microfreezes and some kind of lags with Gnome.
I decided to deny Gnome when i sell off my computer, ordered Librem 15v3 and i was forced to use little laptop with Intel Atom N570 and HD Graphics. Xfce4 works very fast, and eat very small amount of memory. But Gnome looks nicer than Xfce4. =(((
Also, check this link. This tool allow to set lower resolution withour blur.
You can get sources of your native “xrandr” and change some lines in code. You need to change “filter” varriable to “nearest”. In this reposiory, varriable was set to “nearest” in 1259 line.
I don’t use compositor too, only TearFree parameter for Intel GPU. Also, i recommend to switch to “glamor” acceleration, because it better than “sna” ("sna is default) on big resolutions. I can easily use 2560x1440 external screen with 1920x1080 build-in screen in “extend” mode.