What is being used for the GPU? It looks like it is the FPGA fabric that is acting as the GPU. Is there a standard core that is free that is being used to do this? I am interested in using this board to run a small display and see that the board has an HDMI driver but what is the GPU? Is there a Linux driver for this GPU core?
