(+Leif, Graeme) On 8 February 2017 at 18:23, Peter Maydell <peter.mayd...@linaro.org> wrote: > On 8 February 2017 at 16:27, Ard Biesheuvel <ard.biesheu...@linaro.org> wrote: >> The _CCA property is mandatory on arm64, and there is no default. > > Is there a tool that can check this kind of requirement > and complain about issues in the ACPI tables (and > ditto, device tree)? It's really easy to produce a > dt or ACPI table that works with current kernels and > then turns out to have a problem six or twelve > months down the line :-( >
Perhaps Graeme or Leif could shed some light on this? I know this is on our roadmap, but I am not up to date with the latest status.