I’ve been attempting to compile some of the newer OpenGL ES 3.1 Makefiles out there on the interwebs using my tegra tk1 dev kit. For whatever reason, when I try to compile with the header GLES3/gl31.h. Things appear to break. I noticed that this header isn’t in any of the examples inside the software-examples provided by nvidia either. Is there some kind of mistake here?