Linux may provide independent video memory for DG2 graphics cards