I need to use a nrfx timer in order for some GPIO timing, but can't get past the simple examples declaring an instance. For testing I'm just using the 54L15DK.
I was using this ticket as a reference https://devzone.nordicsemi.com/f/nordic-q-a/119686/timers/527148 and the github example modified for 54L15
For starters the included <nrfx_example.h> bombs out with "unknown device" because it's checking for nRF52/53/91 series... So OK, let's just comment out that #include and the logging for now.
Now the prj.conf line CONFIG_NRFX_TIMER20=y causes an error with missing driver instance.

The 54L15DK doesn't appear to have it enabled, so I added this overlay to by build
&timer20 {
status = "okay";
};
..and timer20 is shown in the DT graphical editor

What's missing?
A second part to this question: Can I use DT lookup to get the timer instance - the code currently does this:
nrfx_timer_t timer_inst = NRFX_TIMER_INSTANCE(TIMER_INST_IDX);
This is so I can use aliases to refer to the timer as I want the same code to run on nRF52 & nRF54L devices.
Thanks.