Programo PIC, atualmente no CCS windows. To migrando pro Ubuntu e também estou a procura de uma solução. Baixei e instalei o piklab (IDE) e o SDCC, funciona, estou a procura de qualquer material me quxilie a entender melhor o SDCC.