Hélas pas vraiment le choix, a part peut etre wine ou wmware (mais ce n'est toujours pas du linux).
sdcc (lien plus haut) supporte pas mal d'architectures, mais pas toute. GCC supporte surtout les 16/32 bits.
Donc on fait comme on a toujours fait sous linux: on choisi en fonction de la compatibilité. Ce qui ajoute déja un problème sachant qu'on choisi a 50% les μC en fonction de leur dispo.
Coté programateur, il y a ponyprog http://www.lancos.com/prog.html , je crois pas qu'il supporte le STM. Mais tu as les atmels risc ou 8051 (un bon choix le 8051) et les pics. Il tourne sous linux. Y'a aussi les 68hc(8)11 qui se programment via port série (mais ils commencent a etre sérieusement obsolètes).
Le gros problème que tu vas rencontrer c'est l'absence d'outils de debug. Une fois démarré (partie en blind debug), tu peux utiliser les ports avec une led ou un oscillo, et ensuite un port série avec un embryon de printf().
[^] # Re: ST7263
Posté par martinc . En réponse à la dépêche Bricolez en USB. Évalué à 6.