Changing kernel to use hardware ticks

I’m new here. Please forgive my obvious newness.

I am porting to a target with an atMega2560, developing with Microchip Studo, for reference.

Our target has a 1024 Hz signal from a real-time clock connected at INT7. I understand that FreeRTOS as distributed uses the internal watchdog timer to generate the tick.

How do I change FreeRTOS to use the hardware interrupt as the tick source?

Thanks,
Robin

Search for prvSetupTimerInterrupt() on this page. That is an old port so the timer interrupt gets configured in the port layer itself. More recent ports would have set up the tick timer in a callback to prevent you needing to touch the port code itself.