Hey,
As I mentioned before, my task was to ensure our customer, that T1042 is supporting high resolution timer in Linux.
I don't need to compile nothing for now.
I just need to find some kind of official documentation, in which there would be clearly explained that issue.
The modification and compilation of kernel are future task.
Meanwhile we are in "go / no go" situation.
Can you point me or provide the information I'm looking for?
I tried to look for that info, but without success so far.
Regards