Les options du compilateur GCC pour la plateforme de processeur ARM.
Très utile quand on veut compiler pour plusieurs processeurs à la fois ;)