On 02/08/17 19:23, Peter Maydell wrote:
On 8 February 2017 at 16:27, Ard Biesheuvel <address@hidden> 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