The API which you listed in the link is generic API for any platform including MCU platform.
It is not platform depended.
So you should able to use in any environment (C based)
If not, you can report an issue for the API then our engineer will try to fix it.
... View more