On Wednesday, 3 May 2023 17:18:42 CEST James Addison wrote: > The system's dmesg includes this line: > > DMI: Raspberry Pi Foundation Raspberry Pi 400/Raspberry Pi 400, BIOS > UEFI Firmware v1.34 1 2/16/2022 > > As Cyril said though.. this can't (shouldn't) be genuine DMI. So > what's going on? > > It seems that the cause may be this: > > The default settings within the EDK2 UEFI, under "Device Manager" -> > "Raspberry Pi Configuration" -> "Advanced Configuration" contained a > key labeled "System Table Selection" that was set to "ACPI".
Ah, EDK2/UEFI/ACPI, that's an important piece that I didn't realize/know. And I also don't have knowledge of or experience with. I (therefor) also don't know if or to which extend DeviceTree plays a role here as I _think_ you use either EDK2/ACPI *or* DeviceTree.
signature.asc
Description: This is a digitally signed message part.