Building SGX application on BBB

I’ve been following the threads earlier in the year about using SGX. As a first step I tried to build kmscube from used the August Stretch IoT snapshot as recommended (

The only issue I had was that I couldn’t find a package to install the headers in /usr/include/EGL, /usr/include/GLES2 and /usr/include/KHR. To solve this I created a -dev package -dev which is available at (readme also has full instructions).

Have I missed a package you had already created with these headers?