I know that, for x86 and x64 processors, Windows relies on ACPI to auto-discover the hardware.
However, for smaller systems (notably ARM architectures), a device tree file needs to be passed to the operating system.
Does Windows on ARM also require such a file, for ARM platforms? (i.e. a system on chip).
If yes, is this file embedded with the OS, or stored in the firmware?