On Thu, 2015-02-05 at 14:51 +, Stefano Stabellini wrote:
> On Thu, 5 Feb 2015, Ian Campbell wrote:
> > On Wed, 2015-02-04 at 21:51 +, Julien Grall wrote:
> > > > +res = platform_init_time();
> > >
> > > The platform code is DT-centrict.
> >
> > This is an interesting point. Given the
On Thu, 5 Feb 2015, Ian Campbell wrote:
> On Wed, 2015-02-04 at 21:51 +, Julien Grall wrote:
> > > +res = platform_init_time();
> >
> > The platform code is DT-centrict.
>
> This is an interesting point. Given the stated goals and reasons for
> having ACPI on ARM it seems to me that in ge
On Wed, 4 Feb 2015, parth.di...@linaro.org wrote:
> From: Naresh Bhat
>
> Parse GTDT (Generic Timer Descriptor Table) to initialize timer.
> Using the information presented by GTDT to initialize the arch
> timer (not momery-mapped).
>
> Signed-off-by: Naresh Bhat
> Signed-off-by: Parth Dixit
>
Hi Ian,
On 05/02/2015 19:39, Ian Campbell wrote:
On Wed, 2015-02-04 at 21:51 +, Julien Grall wrote:
Perhaps platform_* should all grow an "ASSERT(!in acpi mode)" (or
"ASSERT(in dt mode)") to help enforce this.
That would be good. We could also do the same for the device tree to
catch any
On Wed, 2015-02-04 at 21:51 +, Julien Grall wrote:
> > +res = platform_init_time();
>
> The platform code is DT-centrict.
This is an interesting point. Given the stated goals and reasons for
having ACPI on ARM it seems to me that in general nothing under
xen/arch/arm/platforms/* should ev
Hi Parth,
On 04/02/2015 14:02, parth.di...@linaro.org wrote:
From: Naresh Bhat
Parse GTDT (Generic Timer Descriptor Table) to initialize timer.
Using the information presented by GTDT to initialize the arch
timer (not momery-mapped).
memory-mapped
Signed-off-by: Naresh Bhat
Signed-off-by:
