https://iotgadgets.com/2013/07/marmalade-sdk-to-support-tizen-os/