Thanks for reaching out!
That is a very interesting question. Please let me see if I can find some useful information for you. If I find anything I'll post it here.
Just wondered if you had made any further progress with this? Thank you
Yes, I've an update for you.
First of all, I would like to suggest you to use the latest SDK in case you are not using it already, you can get it in http://iotdk.intel.com/sdk/.
To install it, all you need to do is run the shell script once you have finished downloading it. Then, source it and you should be able to use it.
For a 64-bit Linux machine, the commands steps are the following:
Let me know if this helps.
Success! Thank you
I'm glad to be of help!
If you ever have any other question, please don't hesitate to come back to the community, we'll try to help you however we can.