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

[Julien Grall <julien.grall@xxxxxxxxxx>]

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.
Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel