Trying to run the Timer example

Hello! I am trying to run the timer example following the steps provided here: https://nuttx.apache.org/docs/latest/components/drivers/character/timer.html

The few things that I do that I do not see in the steps, is also selecting a peripheral timer, from the STM32 peripheral tag.

I get the error `Failed to open /dev/timer0: 2` when running the example. A quick `ls` of the `/dev` shows the following:
```
console
null
ttyS0
```
Why isnt `/dev/timer0` part of this list.

++ I am using a Nucleo-H743ZI2 board with pretty much nothing else running other than the simple timer example. From the link provided i followed the second set of steps via the menuconfig