Well, it is kinda working, except the problem I mentioned above (which btw I think is due to a bug in the latency timing of the source code of the kernel module).
Anyways it took me actually quite a while to get it to transmit, as it is not exactly straight forward. Firstly I am using slovenias image (http://www.cubieforums.com/index.php/topic,1275.0.html
) as this one has a few updated IR modules included which I use.
The idea behind it is to load one kernel module as receiver (lirc-sunxi) and another one as sender (lirc_gpio). Then I run two lirc daemons which connect to the respective sockets (one for RX, one for TX).
Also of course you need to enable the GPIO port in the script.bin file of the image and connect it correctly to the transmitter. In addition you will need to have a working IR remote configuration file that is valid for the device you want to control.
Probably the best place to start is to get the hardware done first. Connect it all and see if you can get a signal just writing to the GPIO bin per bash (something like "echo 1 > /sys/class/gpio/gpiopinXX/value"). This should switch on the diode and you should see (with the camera of your mobile, as IR is invisible to human eyes) that it is emitting a purple light.