mirror of
https://github.com/hardkernel/linux.git
synced 2026-06-11 05:17:10 +09:00
This patch addes two device tree overlay files in order to run PPS via GPIO pins populated in GPIO pin header #11 and #12. By adding the device tree overlay file to 'config.ini', the driver will be enabled and PPS will be registered. In 'config.ini', overlays="pps-gpio_p12" Signed-off-by: Dongjin Kim <tobetter@gmail.com> Change-Id: I2e13c8de7592bd117bb311f3fe2c1bc50901785e