Messages in this thread | | | Subject | Re: [PATCH] arm64: Print DT machine model in setup_machine_fdt() | From | Sudeep Holla <> | Date | Fri, 28 Apr 2017 18:30:45 +0100 |
| |
On 28/04/17 17:52, Will Deacon wrote: > On Fri, Apr 28, 2017 at 06:16:46PM +0200, Geert Uytterhoeven wrote: >> On Fri, Apr 28, 2017 at 4:57 PM, Will Deacon <will.deacon@arm.com> wrote: >>> On Thu, Apr 27, 2017 at 02:33:05PM +0200, Geert Uytterhoeven wrote: >>>> On arm32, the machine model specified in the device tree is printed >>>> during boot-up, courtesy of of_flat_dt_match_machine(). >>>> >>>> On arm64, of_flat_dt_match_machine() is not called, and the machine >>>> model information is not available from the kernel log. >>>> >>>> Print the machine model to make it easier to derive the machine model >>>> from an arbitrary kernel boot log. >>>> >>>> Signed-off-by: Geert Uytterhoeven <geert+renesas@glider.be> >>>> --- >>>> I have scripts to save kernel boot logs, and compare logs[*] for >>>> subsequent boots on the same machine. Having a way to extract the >>>> machine model from an arbitrary kernel boot log makes this easier. >> >>> I think your use-case is slightly questionable (e.g. for ACPI, we print >>> something different, and this isn't generally considered to be ABI), but >>> the patch is harmless and if you find it useful then: >> >> Not having access to an ARM ACPI system, what does it print for example? > > It's supposed to print out some stuff from DMI, but my Juno just says: > > DMI not present or invalid. >
With latest firmware, I get something like:
DMI: ARM LTD ARM Juno Development Platform/ARM Juno Development Platform, BIOS EDK II ...
-- Regards, Sudeep
| |