Pra quem interessar. disponibilizei uma imagem do VirtualBox do SDK da Expresssif rodando uma compilação em C para o ESP8266 no Eclipse. Como estou preferindo a IDE do Arduino (na verdade, as bibliotecas prontas) esse trabalho para instalar o compilador no Linux acabou sendo em vão, até porque se preferir compilar no Windows, há um cross compiler funcional indicado nesse artigo que em poucos minutos se instala, mas fica aí pra quem quizer:
ESP8266 - Compilando em C com o SDK Espressif no Eclipse/Linux