Compilador C 8051

[Phantomas]

bom dia galera !

eu gostaria de saber se alguem conhece algum programa compilador C para o 8051 
que rode em linux. Eu andei dando uma pesquisada e não encontrei nada...se 
alguem souber de algo agradeço desde já.


andré