a graphics driver can program the GPU to overwrite arbitrary system memory

Unless there's a hardware IOMMU configured by Genode, Xen, etc, http://transpute.github.io/test1/related/