Hello. A while back I used this routine to generate 38KHZ with a 12F675 running at 4MHZ.

STARTBIT:
High GPIO.4 'GETTING 38KHZ WITH THIS SUBROUTINE
High GPIO.4
Low GPIO.4
Low GPIO.4

LET X = X + 001
IF X < 125 Then STARTBIT '125 = 3MS PULSE, 83 = 2MS pulse, 33 = 1MS pulse

Maybe you can do something with this.