Amiko Mini Combo - Writing firmware

[dragota]

Hello. I have Amiko Mini Combo. My question is, how firmwares for this receivers are writen? I mean which language is used, which IDE,...?
I'm familiar with programming in C and C++. I would appreciate any help.
Best regards!