That's it, that's the question: Is there a way to choose different processor clock rates on the T4240RDB board, either by setting options in the uboot shell, or by recompiling uboot, or ... ?
I tried to search the documentation but I couldn't find the answer.
Thanks for your help!