Mario Bălănică

Settings end up being loaded from SD card, but they're saved on eMMC, since that's the initial boot device.

It might be possible to expose the SMMU, but MSI via ITS certainly not. For Linux you'd be much better off booting with device tree. There's no upstreaming effort going...

Yeah. I don't have the device and thus no plans to support it, but contributions are welcome.

I'm reluctant to merge this until there's some form of support in any OS and the spec gets more clear about how ClockInput is meant to be used. Right now...

Does this patch have a Linux counterpart that effectively makes I2C and GMAC work, or is it merely a concept of what the ACPI bindings could look like? If it's...

> In terms of how you're seeing it, neither can come "first" - it's a chicken-and-egg problem. The OS code cannot be patched until the clock situation in the FW...

I came across this some time ago: https://linaro.atlassian.net/wiki/spaces/CLIENTPC/pages/28822175758/ACPI+Clock+Input+Resources At first glance, option 2 seems good since it's generic and abstracts the platform's clock control mechanism (could be MMIO, SCMI or...