On 02/08/17 19:23, Peter Maydell wrote: > On 8 February 2017 at 16:27, Ard Biesheuvel <[email protected]> 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 :-(
I think the "bios bits" project or the FWTS (firmware test suite) project might do some ACPI sanity checks. They could be run in guests. https://biosbits.org/ https://wiki.ubuntu.com/FirmwareTestSuite However, I'm unsure if they support aarch64. Also... it's not like those projects are stationary. Even the ACPI spec is a moving target (and spec-level regressions exist). I believe Heyi Guo @ Linaro used to work with FWTS on aarch64. CC'd. No clue about DT conformance testing. Is there an industry standard or a working group behind DT? Thanks Laszlo
