Цитата(TigerSHARC @ May 5 2014, 21:54)

Есть двухядерный процессор ARM+DSP
Как и где можно посмотреть какие устройства использует Linux, на данный момент интересуют таймеры, какие таймеры использует Linux для исстемных тиков?
раз у вас абстрактный проц, то открываете исходники ядра и ищете в районе arch/arm подкаталоги типа:
mach-*
plat-*
где "*" - семейство вашего АРМа
внутри смотрите файл для вашей платы с используемой периферией..
насчет системного таймера(ов) - сделайте поиск по файлам с маской "clocksource_init" или "timer_init", в разных ядрах и архитектурах расписано по разному..