On 11/09/2026 15:55, Michael Kelly wrote:
These 2 changes allow gnumach to launch the pci-arbiter which fails because of the same issue above. I've had a quick look at libacpica and there's no obvious sign that it considers UEFI. Perhaps there is a more recent version that might be used? Further investigation required.
It might actually be simpler to just change acpi_os_get_root_pointer() to either consult gnumach for the root pointer physical address or else retrieve it from somewhere supplied to the process via a command line argument. In such case the libacpica is probably OK as is.
MIke.
