Re: [PATCH 2/2] pps-gpio: Set echo GPIO pin via devicetree

2018-02-15 Thread Rodolfo Giometti
On 15/02/18 16:08, Lukas Senger wrote: @@ -20,18 +21,20 @@ target = <&gpio>; __overlay__ { pps_pins: pps_pins@12 { - brcm,pins = <18>; - brcm,function = <0>;// in -

Re: [PATCH 2/2] pps-gpio: Set echo GPIO pin via devicetree

2018-02-15 Thread Lukas Senger
> > @@ -20,18 +21,20 @@ > > target = <&gpio>; > > __overlay__ { > > pps_pins: pps_pins@12 { > > - brcm,pins = <18>; > > - brcm,function = <0>;// in > > - brcm,pull =

Re: [PATCH 2/2] pps-gpio: Set echo GPIO pin via devicetree

2018-02-15 Thread Rodolfo Giometti
On 15/02/18 13:59, Lukas Senger wrote: --- arch/arm/boot/dts/overlays/pps-gpio-overlay.dts | 13 - drivers/pps/clients/pps-gpio.c | 26 ++--- include/linux/pps-gpio.h| 1 + 3 files changed, 24 insertions(+), 16 deletio

[PATCH 2/2] pps-gpio: Set echo GPIO pin via devicetree

2018-02-15 Thread Lukas Senger
--- arch/arm/boot/dts/overlays/pps-gpio-overlay.dts | 13 - drivers/pps/clients/pps-gpio.c | 26 ++--- include/linux/pps-gpio.h| 1 + 3 files changed, 24 insertions(+), 16 deletions(-) diff --git a/arch/arm/boot/dts/overlay