[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH RFC 16/35] ARM64 / ACPI: Parse GTDT to initialize timer

Hi Ian,

On 05/02/2015 19:39, Ian Campbell wrote:
On Wed, 2015-02-04 at 21:51 +0000, 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 usage of DT when ACPI is enabled.


Julien Grall

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.