O Jefferson postou em seu blog sobre este firmware a 1 ano atrás e na epoca eu consegui compilar e gerar os binários, depois disso eu não mexi mais nisso por causa da faculdade e acabei esquecendo do assunto.
Hoje ao ler trechos do código fonte na internet(não conseguir baixar o fonte, mas sei que tenho isso lá em casa em algum lugar), consegui confirmar que o keil c51 é o compilador, possivelmente isso já foi confirmado por outras pessoas.
Portanto pretendo assim que tiver um pouco mais de tempo voltar a estudar os códigos fontes e ver se contribuo com algo.