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...