Добрый день.

Необходимо подключить сигнал PPS на один из GPIO (AT91SAM9G45/Linux). Как связать устройство /dev/pps0 и выбранный пин в файле конфигурации борды?

Алексей.