Vmboard.h and others libs nowhere to be found

I got a LinkIt One, and I’m trying to use some of the functionality.
In the documentation for the SDK, there are references to things like

The DCL module identifies each pin with a pin number, and then the SDK provides a header file

But in the SDK that header file is nowhere to be found.
Any ideas on where to have a complete SDK so all the low level functions can be accessed?

There you go

I know that, and I have searched in many places, I downloaded all the stuff and yet vmboard.h is not there.