Ho letto la discussione e colo l'occasione per segnalarvi questo
SDCC - Small Device C Compiler
è un compilatore open source e l'ho usato con successo per qualche progettino
ho usato anche questo
Piklab Homepage - Home
come ambiente di sviluppo e uso programmatore
Se può interessare ho un vecchissimo corso di C della Jackson (Per dos...recentissimo

) molto semplice ,ma esaustivo.