* [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A @ 2015-12-28 10:01 Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 1/2] Documentation: DT: Add entry for ARM SP805-WDT Bhupesh Sharma ` (3 more replies) 0 siblings, 4 replies; 7+ messages in thread From: Bhupesh Sharma @ 2015-12-28 10:01 UTC (permalink / raw) To: arm-DgEjT+Ai2ygdnm+yROfE0A, shawnguo-DgEjT+Ai2ygdnm+yROfE0A, arnd-r2nGTMty4D4, mark.rutland-5wv7dgnIgG8, linux-arm-kernel-IAPFreCvJWM7uuMidbF8XUB+6BGkLq7r, olof-nZhT3qVonbNeoWH0uzbU5w, devicetree-u79uwXL29TY76Z2rM5mHXA, robh-DgEjT+Ai2ygdnm+yROfE0A, will.deacon-5wv7dgnIgG8 Cc: bhupesh.linux-Re5JQEeQqe8AvxtiuMwx3w, Catalin.Marinas-5wv7dgnIgG8, bhupesh.sharma-KZfg59tc24xl57MIdRCFDg, LeoLi-KZfg59tc24xl57MIdRCFDg, scottwood-KZfg59tc24xl57MIdRCFDg, stuart.yoder-KZfg59tc24xl57MIdRCFDg Hi Arnd, Kevin, Olof This is the v4 of patchset which adds the support for SP805 WDT on FSL LS2080A and also adds the missing documentation of SP805 WDT device-tree bindings. Rebased against arm-soc/next/dt Changes since v3: (v3 can be viewed here: https://www.mail-archive.com/devicetree-u79uwXL29TY76Z2rM5mHXA@public.gmane.org/msg97249.html) - Added Rob's Acked-by for patch 1/2. - Sending to 'arm-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org' list and also cc'ed Shawn Guo Changes since v2: (v2 can be viewed here: http://permalink.gmane.org/gmane.linux.ports.arm.kernel/463141) - Addressed Rob's comments regarding the second mandatory CLK source's (WDOGCLK) name in the bindings. Changes since v1: (v1 can be viewed here: http://www.spinics.net/lists/devicetree/msg102487.html) - Addressed Rob and Mark's comments regarding the mandatory CLK sources - Removed interrupt property from the bindings for now (as discussed with Mark on IRC) till Will's patch proceeds further and enables handling the WDOG interrupts for each core connected to the same PPI line (http://lists.infradead.org/pipermail/linux-arm-kernel/2015-December/391616.html) Bhupesh Sharma (2): Documentation: DT: Add entry for ARM SP805-WDT dts/ls2080a: Update DTSI to add support of SP805 WDT .../devicetree/bindings/watchdog/sp805-wdt.txt | 31 +++++++++++ arch/arm64/boot/dts/freescale/fsl-ls2080a.dtsi | 56 ++++++++++++++++++++ 2 files changed, 87 insertions(+) create mode 100644 Documentation/devicetree/bindings/watchdog/sp805-wdt.txt -- 1.7.9.5 -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 7+ messages in thread
* [PATCH v4 1/2] Documentation: DT: Add entry for ARM SP805-WDT 2015-12-28 10:01 [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A Bhupesh Sharma @ 2015-12-28 10:01 ` Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 2/2] dts/ls2080a: Update DTSI to add support of SP805 WDT Bhupesh Sharma ` (2 subsequent siblings) 3 siblings, 0 replies; 7+ messages in thread From: Bhupesh Sharma @ 2015-12-28 10:01 UTC (permalink / raw) To: arm, shawnguo, arnd, mark.rutland, linux-arm-kernel, olof, devicetree, robh, will.deacon Cc: LeoLi, bhupesh.sharma, Catalin.Marinas, stuart.yoder, scottwood, bhupesh.linux This patch adds a devicetree binding documentation for ARM's SP805 WatchDog Timer. Signed-off-by: Bhupesh Sharma <bhupesh.sharma@freescale.com> Acked-by: Rob Herring <robh@kernel.org> --- .../devicetree/bindings/watchdog/sp805-wdt.txt | 31 ++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 Documentation/devicetree/bindings/watchdog/sp805-wdt.txt diff --git a/Documentation/devicetree/bindings/watchdog/sp805-wdt.txt b/Documentation/devicetree/bindings/watchdog/sp805-wdt.txt new file mode 100644 index 0000000..edc4f0e --- /dev/null +++ b/Documentation/devicetree/bindings/watchdog/sp805-wdt.txt @@ -0,0 +1,31 @@ +* ARM SP805 Watchdog Timer (WDT) Controller + +SP805 WDT is a ARM Primecell Peripheral and has a standard-id register that +can be used to identify the peripheral type, vendor, and revision. +This value can be used for driver matching. + +As SP805 WDT is a primecell IP, it follows the base bindings specified in +'arm/primecell.txt' + +Required properties: +- compatible : Should be "arm,sp805-wdt", "arm,primecell" +- reg : Base address and size of the watchdog timer registers. +- clocks : From common clock binding. + First clock is PCLK and the second is WDOGCLK. + WDOGCLK can be equal to or be a sub-multiple of the PCLK frequency. +- clock-names : From common clock binding. + Shall be "apb_pclk" for first clock and "wdog_clk" for the + second one. + +Optional properties: +- interrupts : Should specify WDT interrupt number. + +Examples: + + cluster1_core0_watchdog: wdt@c000000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc000000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + -- 1.7.9.5 ^ permalink raw reply related [flat|nested] 7+ messages in thread
* [PATCH v4 2/2] dts/ls2080a: Update DTSI to add support of SP805 WDT 2015-12-28 10:01 [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 1/2] Documentation: DT: Add entry for ARM SP805-WDT Bhupesh Sharma @ 2015-12-28 10:01 ` Bhupesh Sharma 2015-12-31 15:41 ` [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A Arnd Bergmann [not found] ` <1451296884-7932-1-git-send-email-bhupesh.sharma-KZfg59tc24xl57MIdRCFDg@public.gmane.org> 3 siblings, 0 replies; 7+ messages in thread From: Bhupesh Sharma @ 2015-12-28 10:01 UTC (permalink / raw) To: arm, shawnguo, arnd, mark.rutland, linux-arm-kernel, olof, devicetree, robh, will.deacon Cc: LeoLi, bhupesh.sharma, Catalin.Marinas, stuart.yoder, scottwood, bhupesh.linux This patch updates the LS2080a DTSI (DTS Include) file to add support for eight SP805 Watchdog units which can be used to reset the eight Cortex-A57 cores available on LS2080A. Signed-off-by: Bhupesh Sharma <bhupesh.sharma@freescale.com> --- arch/arm64/boot/dts/freescale/fsl-ls2080a.dtsi | 56 ++++++++++++++++++++++++ 1 file changed, 56 insertions(+) diff --git a/arch/arm64/boot/dts/freescale/fsl-ls2080a.dtsi b/arch/arm64/boot/dts/freescale/fsl-ls2080a.dtsi index e81cd48..7b0f411 100644 --- a/arch/arm64/boot/dts/freescale/fsl-ls2080a.dtsi +++ b/arch/arm64/boot/dts/freescale/fsl-ls2080a.dtsi @@ -193,6 +193,62 @@ interrupts = <0 32 0x4>; /* Level high type */ }; + cluster1_core0_watchdog: wdt@c000000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc000000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster1_core1_watchdog: wdt@c010000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc010000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster2_core0_watchdog: wdt@c100000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc100000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster2_core1_watchdog: wdt@c110000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc110000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster3_core0_watchdog: wdt@c200000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc200000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster3_core1_watchdog: wdt@c210000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc210000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster4_core0_watchdog: wdt@c300000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc300000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + + cluster4_core1_watchdog: wdt@c310000 { + compatible = "arm,sp805-wdt", "arm,primecell"; + reg = <0x0 0xc310000 0x0 0x1000>; + clocks = <&clockgen 4 3>, <&clockgen 4 3>; + clock-names = "apb_pclk", "wdog_clk"; + }; + fsl_mc: fsl-mc@80c000000 { compatible = "fsl,qoriq-mc"; reg = <0x00000008 0x0c000000 0 0x40>, /* MC portal base */ -- 1.7.9.5 ^ permalink raw reply related [flat|nested] 7+ messages in thread
* Re: [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A 2015-12-28 10:01 [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 1/2] Documentation: DT: Add entry for ARM SP805-WDT Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 2/2] dts/ls2080a: Update DTSI to add support of SP805 WDT Bhupesh Sharma @ 2015-12-31 15:41 ` Arnd Bergmann [not found] ` <1451296884-7932-1-git-send-email-bhupesh.sharma-KZfg59tc24xl57MIdRCFDg@public.gmane.org> 3 siblings, 0 replies; 7+ messages in thread From: Arnd Bergmann @ 2015-12-31 15:41 UTC (permalink / raw) To: linux-arm-kernel Cc: mark.rutland, devicetree, bhupesh.linux, Bhupesh Sharma, Catalin.Marinas, will.deacon, stuart.yoder, scottwood, arm, olof, LeoLi, shawnguo On Monday 28 December 2015 15:31:22 Bhupesh Sharma wrote: > Hi Arnd, Kevin, Olof > > This is the v4 of patchset which adds the support for SP805 WDT on FSL LS2080A > and also adds the missing documentation of SP805 WDT device-tree bindings. > > Rebased against arm-soc/next/dt > Applied all on next/dt64, thanks! Arnd ^ permalink raw reply [flat|nested] 7+ messages in thread
[parent not found: <1451296884-7932-1-git-send-email-bhupesh.sharma-KZfg59tc24xl57MIdRCFDg@public.gmane.org>]
* Re: [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A [not found] ` <1451296884-7932-1-git-send-email-bhupesh.sharma-KZfg59tc24xl57MIdRCFDg@public.gmane.org> @ 2016-04-14 15:48 ` Marc Zyngier 2016-04-19 12:09 ` Bhupesh Sharma 0 siblings, 1 reply; 7+ messages in thread From: Marc Zyngier @ 2016-04-14 15:48 UTC (permalink / raw) To: Bhupesh Sharma Cc: arm-DgEjT+Ai2ygdnm+yROfE0A, shawnguo-DgEjT+Ai2ygdnm+yROfE0A, arnd-r2nGTMty4D4, mark.rutland-5wv7dgnIgG8, linux-arm-kernel-IAPFreCvJWM7uuMidbF8XUB+6BGkLq7r, olof-nZhT3qVonbNeoWH0uzbU5w, devicetree-u79uwXL29TY76Z2rM5mHXA, robh-DgEjT+Ai2ygdnm+yROfE0A, will.deacon-5wv7dgnIgG8, LeoLi-KZfg59tc24xl57MIdRCFDg, Catalin.Marinas-5wv7dgnIgG8, stuart.yoder-KZfg59tc24xl57MIdRCFDg, scottwood-KZfg59tc24xl57MIdRCFDg, bhupesh.linux-Re5JQEeQqe8AvxtiuMwx3w Hi Bhupesh, On 28/12/15 10:01, Bhupesh Sharma wrote: > Hi Arnd, Kevin, Olof > > This is the v4 of patchset which adds the support for SP805 WDT on FSL LS2080A > and also adds the missing documentation of SP805 WDT device-tree bindings. > > Rebased against arm-soc/next/dt > > Changes since v3: > (v3 can be viewed here: https://www.mail-archive.com/devicetree-u79uwXL29TY76Z2rM5mHXA@public.gmane.org/msg97249.html) > - Added Rob's Acked-by for patch 1/2. > - Sending to 'arm-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org' list and also cc'ed Shawn Guo > > Changes since v2: > (v2 can be viewed here: http://permalink.gmane.org/gmane.linux.ports.arm.kernel/463141) > - Addressed Rob's comments regarding the second mandatory CLK source's > (WDOGCLK) name in the bindings. > > Changes since v1: > (v1 can be viewed here: http://www.spinics.net/lists/devicetree/msg102487.html) > > - Addressed Rob and Mark's comments regarding the mandatory CLK sources > - Removed interrupt property from the bindings for now (as discussed > with Mark on IRC) till Will's patch proceeds further and enables > handling the WDOG interrupts for each core connected to the same PPI > line (http://lists.infradead.org/pipermail/linux-arm-kernel/2015-December/391616.html) Will just pointed me to this series. I've recently posted a set of patches that should be able to deal with the quirkiness of your HW with regards to PPIs: http://thread.gmane.org/gmane.linux.drivers.devicetree/163464 Could you please let me know if this works for you? Thanks, M. -- Jazz is not dead. It just smells funny... -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 7+ messages in thread
* RE: [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A 2016-04-14 15:48 ` Marc Zyngier @ 2016-04-19 12:09 ` Bhupesh Sharma [not found] ` <VI1PR04MB12308B0964726B5D1A4492BE886C0-mr6QIVyDiCG4zNWkhB+yk89NdZoXdze2vxpqHgZTriW3zl9H0oFU5g@public.gmane.org> 0 siblings, 1 reply; 7+ messages in thread From: Bhupesh Sharma @ 2016-04-19 12:09 UTC (permalink / raw) To: Marc Zyngier, Bhupesh Sharma Cc: mark.rutland@arm.com, devicetree@vger.kernel.org, bhupesh.linux@gmail.com, arnd@arndb.de, Catalin.Marinas@arm.com, will.deacon@arm.com, stuart.yoder@freescale.com, scottwood@freescale.com, arm@kernel.org, olof@lixom.net, LeoLi@freescale.com, shawnguo@kernel.org, linux-arm-kernel@lists.infradead.org Hi Mark, Sorry for the delayed reply. I was on holidays. > From: Marc Zyngier [mailto:marc.zyngier@arm.com] > Sent: Thursday, April 14, 2016 9:19 PM > > Hi Bhupesh, > > On 28/12/15 10:01, Bhupesh Sharma wrote: > > Hi Arnd, Kevin, Olof > > > > This is the v4 of patchset which adds the support for SP805 WDT on > FSL > > LS2080A and also adds the missing documentation of SP805 WDT device- > tree bindings. > > > > Rebased against arm-soc/next/dt > > > > Changes since v3: > > (v3 can be viewed here: > > https://www.mail- > archive.com/devicetree@vger.kernel.org/msg97249.html) > > - Added Rob's Acked-by for patch 1/2. > > - Sending to 'arm@kernel.org' list and also cc'ed Shawn Guo > > > > Changes since v2: > > (v2 can be viewed here: > > http://permalink.gmane.org/gmane.linux.ports.arm.kernel/463141) > > - Addressed Rob's comments regarding the second mandatory CLK > source's > > (WDOGCLK) name in the bindings. > > > > Changes since v1: > > (v1 can be viewed here: > > http://www.spinics.net/lists/devicetree/msg102487.html) > > > > - Addressed Rob and Mark's comments regarding the mandatory CLK > > sources > > - Removed interrupt property from the bindings for now (as discussed > > with Mark on IRC) till Will's patch proceeds further and enables > > handling the WDOG interrupts for each core connected to the same > PPI > > line > > (http://lists.infradead.org/pipermail/linux-arm-kernel/2015- > December/3 > > 91616.html) > > Will just pointed me to this series. I've recently posted a set of > patches that should be able to deal with the quirkiness of your HW with > regards to PPIs: > > http://thread.gmane.org/gmane.linux.drivers.devicetree/163464 > > Could you please let me know if this works for you? > Sure. I will have a look at the patchset and get back asap. Regards, Bhupesh ^ permalink raw reply [flat|nested] 7+ messages in thread
[parent not found: <VI1PR04MB12308B0964726B5D1A4492BE886C0-mr6QIVyDiCG4zNWkhB+yk89NdZoXdze2vxpqHgZTriW3zl9H0oFU5g@public.gmane.org>]
* Re: [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A [not found] ` <VI1PR04MB12308B0964726B5D1A4492BE886C0-mr6QIVyDiCG4zNWkhB+yk89NdZoXdze2vxpqHgZTriW3zl9H0oFU5g@public.gmane.org> @ 2016-04-19 16:36 ` Marc Zyngier 0 siblings, 0 replies; 7+ messages in thread From: Marc Zyngier @ 2016-04-19 16:36 UTC (permalink / raw) To: Bhupesh Sharma, Bhupesh Sharma Cc: arm-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org, shawnguo-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org, arnd-r2nGTMty4D4@public.gmane.org, mark.rutland-5wv7dgnIgG8@public.gmane.org, linux-arm-kernel-IAPFreCvJWM7uuMidbF8XUB+6BGkLq7r@public.gmane.org, olof-nZhT3qVonbNeoWH0uzbU5w@public.gmane.org, devicetree-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, robh-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org, will.deacon-5wv7dgnIgG8@public.gmane.org, LeoLi-KZfg59tc24xl57MIdRCFDg@public.gmane.org, Catalin.Marinas-5wv7dgnIgG8@public.gmane.org, stuart.yoder-KZfg59tc24xl57MIdRCFDg@public.gmane.org, scottwood-KZfg59tc24xl57MIdRCFDg@public.gmane.org, bhupesh.linux-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org On 19/04/16 13:09, Bhupesh Sharma wrote: > Hi Mark, > > Sorry for the delayed reply. I was on holidays. > >> From: Marc Zyngier [mailto:marc.zyngier-5wv7dgnIgG8@public.gmane.org] >> Sent: Thursday, April 14, 2016 9:19 PM >> >> Hi Bhupesh, >> >> On 28/12/15 10:01, Bhupesh Sharma wrote: >>> Hi Arnd, Kevin, Olof >>> >>> This is the v4 of patchset which adds the support for SP805 WDT on >> FSL >>> LS2080A and also adds the missing documentation of SP805 WDT device- >> tree bindings. >>> >>> Rebased against arm-soc/next/dt >>> >>> Changes since v3: >>> (v3 can be viewed here: >>> https://www.mail- >> archive.com/devicetree-u79uwXL29TY76Z2rM5mHXA@public.gmane.org/msg97249.html) >>> - Added Rob's Acked-by for patch 1/2. >>> - Sending to 'arm-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org' list and also cc'ed Shawn Guo >>> >>> Changes since v2: >>> (v2 can be viewed here: >>> http://permalink.gmane.org/gmane.linux.ports.arm.kernel/463141) >>> - Addressed Rob's comments regarding the second mandatory CLK >> source's >>> (WDOGCLK) name in the bindings. >>> >>> Changes since v1: >>> (v1 can be viewed here: >>> http://www.spinics.net/lists/devicetree/msg102487.html) >>> >>> - Addressed Rob and Mark's comments regarding the mandatory CLK >>> sources >>> - Removed interrupt property from the bindings for now (as discussed >>> with Mark on IRC) till Will's patch proceeds further and enables >>> handling the WDOG interrupts for each core connected to the same >> PPI >>> line >>> (http://lists.infradead.org/pipermail/linux-arm-kernel/2015- >> December/3 >>> 91616.html) >> >> Will just pointed me to this series. I've recently posted a set of >> patches that should be able to deal with the quirkiness of your HW with >> regards to PPIs: >> >> http://thread.gmane.org/gmane.linux.drivers.devicetree/163464 >> >> Could you please let me know if this works for you? >> > > Sure. I will have a look at the patchset and get back asap. Thanks. It should be pretty easy to do (define all 8 affinities for your CPUs, and assign each one to the watchdog it corresponds to). Of course, the watchdog driver itself is missing interrupt support, so you will have to hack that as well. If you have any issue with this stuff, please give me a shout. Cheers, M. -- Jazz is not dead. It just smells funny... -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2016-04-19 16:36 UTC | newest] Thread overview: 7+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2015-12-28 10:01 [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 1/2] Documentation: DT: Add entry for ARM SP805-WDT Bhupesh Sharma 2015-12-28 10:01 ` [PATCH v4 2/2] dts/ls2080a: Update DTSI to add support of SP805 WDT Bhupesh Sharma 2015-12-31 15:41 ` [PATCH v4 0/2] ARM64: Enable SP805 WDT support for FSL LS2080A Arnd Bergmann [not found] ` <1451296884-7932-1-git-send-email-bhupesh.sharma-KZfg59tc24xl57MIdRCFDg@public.gmane.org> 2016-04-14 15:48 ` Marc Zyngier 2016-04-19 12:09 ` Bhupesh Sharma [not found] ` <VI1PR04MB12308B0964726B5D1A4492BE886C0-mr6QIVyDiCG4zNWkhB+yk89NdZoXdze2vxpqHgZTriW3zl9H0oFU5g@public.gmane.org> 2016-04-19 16:36 ` Marc Zyngier
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).