Trying to get HardwareTimer for the Giga

Hardware GIGA R1
1

working with the DCC-EX project, and i am trying to generate a DCC (digital signal to control model trains) with my Giga. i have seen HardwareTimer used for other STM32 boards, but it doesn't seem to be available for the Giga.

is there anyway to get the library, or even needed core files so i can make use of it?

2

GitHub - KurtE/Portenta_H7_TimerInterrupt at GIGA_R1 provides a HardwareTimer port

3

Forgot I played with that one...

I also wonder about if/when we should simply use the mbed::Ticker objects?

Here is a simple blink sketch that appears to run.

#include <mbed.h>

mbed::Ticker flipper;

void flip() {
  digitalWrite(LED_BUILTIN, !digitalRead(LED_BUILTIN));
}

void setup() {
  pinMode(LED_BUILTIN, OUTPUT);
  flipper.attach(&flip, 2.0);
}

void loop() {
}