This is the source code for the idk4k platform namely the Sat>IP boxes:
- Inverto IDL 400s
- Telestar Digbit R1
- GSS DSI 400
I e-mailed inverto.tv for the GPL sources of the IDL 400s box. They responded very quickly and sent me the sources. So here they are. Thanx to inverto for adhering to the GPL and beeing so forthcoming.