есть еще компилеры ZCC и SDCC. последний можно найти на Sourceforge или я могу их оба сюда запостить.