U-Boot на ARM: таймеры Опции

[romez777]

Портирую u-boot на платформу с arm926ej-s процессором. Хочу разобраться с инфраструктурой таймеров в u-boot. Вроде как, uboot предоставляет свой интерфейс таймеров, который предлагается использовать во всех платформах (timer_init(), reset_timer() и т.д.), но документации нет, и это только догадки.

Буду премного признатален, если кто расскажет подробнее, как пользоваться этим интерфейсом и как адаптировать под свою платформу (Например, на базе таймеров пишется udelay() ).