Thanks for the reply,
I did set the decrementer to a value of 50000 ticks
nakrachi_2-1632384793385.png
with Auto reload enabled (TCR= 0x0000000000400000)
then in the decrementer exception vector (IVOR10) I toggle a GPIO which I measure with the logic analyzer.
I get a frequency of 1Khz (a period of 1 ms)
nakrachi_1-1632384535876.png
which makes me believe I am running at 50 Mhz (50000 * 1Khz)