On 01/06/2015 06:20 AM, Catalin Marinas wrote:

Now, what's preventing a vendor firmware from providing only ACPI
tables? Do we enforce it in some way (arm-acpi.txt, kernel warning etc.)
that both DT and ACPI are supported, or at least that dts files are
merged in the kernel first?

I know of some (server) firmware that will only provide ACPI in the
medium term, so this is coming.

Jon.