I know this is not a bare-metal question, but for me it seems this board fits best - feel free to move this thread when there is a better location.
I want to set-up a timer-interrupt which calls an IRQ with a frequency of at least 2 MHz to do some stuff regularly. The timers of the SoC seem to be capable of doing something like this. But: I do not have a bare metal application but I'm running Linux. I have two SoC-cores separated and can use one to exclusively do work qith this timer and to call my interrupt service routine.
I assume this IRQ-thingy can be done only for a kernel module. So my question: how can this be done exactly? Is it possible to use one of these fast timers to call an ISR with such a high frequency? If yes: any hints/ideas/resources that describe the procedure?