in my Bios I can select the size of the DVMT (dynamic video Memory technology).
I tried to search information about the use of DVMT in Linux but couldn't find anything very helpful.
As far as I understand it's a technology that is used by Intel's Windows drivers to pre-allocate some kind of "video memory" from the main memory.

If I change the size of the DVMT in my bios I see that the available memory changes (the more DVMT memory the less memory available by the system).
But what I cannot see is if this video memory is effectively used by the Intel video drivers or if the video memory becomes some kind of "dead" memory unavailable to the system...

Do you have some information about it ?