AT91 и драйвер таймера, как работать? Опции

[Dubov]

Что нужно включить в файл board-xxx.c для того чтобы появился драйвер таймера в системе. Здаётся мне что толкьо вызова at91_add_device_tc() недостаточно.
Хочу получить драйвер, посредствам которого можно через пользовательский интерфейс управлять частотой генерации на ноге.

[xor.kruger]

Для того чтобы просто подергать ногой с заданной частотой достаточно в драйвер добавить такие строки:

Код

...
#define TCM_CLK        AT91_PIN_PC1
#define TCM8210_CLK    8000000
...
pck0 = clk_get(NULL, "pck0");
plla = clk_get(NULL, "plla");
at91_set_B_periph(TCM_CLK, 0);    /* PCK0 */
clk_set_parent(pck0, plla);
clk_set_rate(pck0, TCM8210_CLK);
clk_enable(pck0);
...

Обычно в файл платформ ничего для подобных вещей не добавляют, хотя если хотите, то можно данный код разместить и в платформе.