Responding to your points in order.
Yes and no. Tegra 4 can't support GLES 3.0, K1 does. Desktop GPU does in linux but only for 32bit proessses.
PVR5xx /doesn't/ support GLES3.0, just nearly all of the features and it can't be used.
Intel HD 2500/4000/5000/Iris Pro all support GLES 3.0 and desktop GL in Linux so they'll run.
Yes and no. Tegra 4 can't support GLES 3.0, K1 does. Desktop GPU does in linux but only for 32bit proessses.
PVR5xx /doesn't/ support GLES3.0, just nearly all of the features and it can't be used.
Intel HD 2500/4000/5000/Iris Pro all support GLES 3.0 and desktop GL in Linux so they'll run.
