Hello, I saw the head.S file for arm64 assumes the x0 register contains the address of the device tree (dtb).
But some systems use ACPI table for handing hardware configuration to the kernel. If the system firmware and bootloader uses UEFI and ACPI, (and bootloader like grub), does the bootloader set x0 with dtb too? In this case x0 is not use? Chan Kim
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
