There's something I need to do with an OS timer. I've worked out that
I need to service the IRQ_OST interrupt in a kernel module, which is
simple enough (I think) now I've got to grips with the relevant
headers and with handling GPIO interrupts. However, I'm not sure
which of the four timers on the pxa255 is available for me to use.
I want to use the watchdog, and looking at the code, that seems to use
timer 3. I assume some of the other timers are used on the Gumstix
too... but which ones and what for?
Software Development Engineer, JTL Systems Ltd
PhD Student, Reading University, UK