We would like to know if all 12 general purpose timers are used by the Linux OS or if some are available independently. We are using the latest SDK for the experimenter board.
We are new to Linux development so feel free to ask any clarifying questions or point me to another forum if appropriate.
thank you.