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 general
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 stated goals and
On Wed, 4 Feb 2015, parth.di...@linaro.org wrote:
From: Naresh Bhat naresh.b...@linaro.org
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
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 ever
Hi Parth,
On 04/02/2015 14:02, parth.di...@linaro.org wrote:
From: Naresh Bhat naresh.b...@linaro.org
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: