Schau dir mal an, wie das beim Asuro gelöst wurde. Da könntest du Hardware und Software eigentlich fast 1:1 übernehmen...
Der 36kHz-Takt wird da über einen Timer-Output erzeugt, die Datencodierung über das UART mit 1200 Baud.