[SOLVED]Arduino Leonardo/Yùn 38 kHz carrier

Hardware Arduino Yún
3

Thank you AnalysIR, i find in the library the Atmega32u4 part. I made a very simple substitution of the parameters name like this:

  #define pwmPin 10  

  TCCR4A = _BV(WGM40) | _BV(COM4A1);
  TCCR4B = _BV(CS40);
  // 38kHz carrier/timer
  OCR4C = (F_CPU/(IR_CLOCK_RATE*2L)-1);
  pinMode(pwmPin, OUTPUT);

I'm going to try this code tonight, stay tuned!