Wäre praktisch gewesen, gleich die betreffenden Files anzuhängen.
Generell ist es selten sinnvoll, Warnungen ohne den Code zu posten, der
sie ausgelöst hat. Ich hätte mir ja sogar FreeRTOS runtergeladen, aber
auf der eher unübersichtlichen Webseite konnte ich nur Version 10.0.0
finden.
Allgemein: Wenn man einen Zeiger in einem Integer speichern will, sollte
man dafür den Typ intptr_t verwenden. Der ist nämlich genau dafür da.
Die nächste Frage wäre aber, warum da überhaupt ein Zeiger in einen
Integer konvertiert wird.