Open Source for SGX
The current statement is correct but I would like to see a bit more clarity. Altough the Imagination user space components are closed source, the kernel components are GPLv2 licensed. This is an important distintion and not every graphics solution can make the same claim.
I would like this section to read:
The TI Sitara device used on BeagleBoard-X15 utilizes Imagination Technologies' PowerVR SGX544 GPU. The kernel components of the current solution are GPLv2 licensed. There is no open source support for the user space componets of this GPU from Imagination, but the FSF has proposed a project to create an open driver.
Bold text indicates insertions; not to be used literally.