Re: [PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-15 Thread Daniel Lezcano
On 15/10/2018 14:12, Marek Szyprowski wrote: > Hi All, > > On 2018-10-08 15:17, Marc Zyngier wrote: >> + Mark Rutland >> >> Hi Marek, >> >> On 08/10/18 13:50, Marek Szyprowski wrote: >>> Use common infrastructure for ARM Architected Timers erratum to enable >>> support for systems with broken CPU

Re: [PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-15 Thread Daniel Lezcano
On 15/10/2018 14:12, Marek Szyprowski wrote: > Hi All, > > On 2018-10-08 15:17, Marc Zyngier wrote: >> + Mark Rutland >> >> Hi Marek, >> >> On 08/10/18 13:50, Marek Szyprowski wrote: >>> Use common infrastructure for ARM Architected Timers erratum to enable >>> support for systems with broken CPU

Re: [PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-15 Thread Marek Szyprowski
Hi All, On 2018-10-08 15:17, Marc Zyngier wrote: > + Mark Rutland > > Hi Marek, > > On 08/10/18 13:50, Marek Szyprowski wrote: >> Use common infrastructure for ARM Architected Timers erratum to enable >> support for systems with broken CPU firmware (timer registers not >> properly configured).

Re: [PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-15 Thread Marek Szyprowski
Hi All, On 2018-10-08 15:17, Marc Zyngier wrote: > + Mark Rutland > > Hi Marek, > > On 08/10/18 13:50, Marek Szyprowski wrote: >> Use common infrastructure for ARM Architected Timers erratum to enable >> support for systems with broken CPU firmware (timer registers not >> properly configured).

Re: [PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-08 Thread Marc Zyngier
+ Mark Rutland Hi Marek, On 08/10/18 13:50, Marek Szyprowski wrote: Use common infrastructure for ARM Architected Timers erratum to enable support for systems with broken CPU firmware (timer registers not properly configured). This mode has been already availabled on ARM (32bits) architecture.

Re: [PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-08 Thread Marc Zyngier
+ Mark Rutland Hi Marek, On 08/10/18 13:50, Marek Szyprowski wrote: Use common infrastructure for ARM Architected Timers erratum to enable support for systems with broken CPU firmware (timer registers not properly configured). This mode has been already availabled on ARM (32bits) architecture.

[PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-08 Thread Marek Szyprowski
Use common infrastructure for ARM Architected Timers erratum to enable support for systems with broken CPU firmware (timer registers not properly configured). This mode has been already availabled on ARM (32bits) architecture. This enables to run Linux kernel on ARM64 boards using physical

[PATCH 4/7] clocksource: arch_timer: Add support for not-fw-configured timer on ARM64

2018-10-08 Thread Marek Szyprowski
Use common infrastructure for ARM Architected Timers erratum to enable support for systems with broken CPU firmware (timer registers not properly configured). This mode has been already availabled on ARM (32bits) architecture. This enables to run Linux kernel on ARM64 boards using physical