Есть двухядерный процессор ARM+DSP
на стороне ARM стоит Linux. На стороне DSP планируется использование HardRTOS.
Необходимо узнать какая перифирия задействована, чтобы не вызвать конфликты, когда будет задействоано DSP-ядро, ведь оно делит перифирию с ARM-ядром.
Как и где можно посмотреть какие устройства использует Linux, на данный момент интересуют таймеры, какие таймеры использует Linux для исстемных тиков?