I don’t have any experience with UEFI/ACPI yet in embedded systems – at least in the ARM space. Device tree (in Zephyr, U-Boot, and Linux kernel) is now the standard for hardware configuration. I’ve wondered if UEFI will eventually fill this role, so the following is interesting: