Kind of a follow-up from this post.
PWM is not connected to the fan, but an OS with I2C support is supposed to be able to control the fan speed? I am using Linux with UEFI and exposed device tree (could not boot under ACPI), but the fan always runs at full speed. Kernel wants to use the amc6821 driver but the speed never changes when testing with pwmconfig or any other tool.
Is fan control not supported or am I missing something?
device-tree under edk2 is not a supported configuration. That is still in the firmware only for development purposes. Under Linux fan control is implemented in AML via the thermal zone ACPI spec.
Okay, good to know. With ACPI+edk2 though the kernel and initramfs cannot detect eMMC. Several relevant devices never show up and their drivers, though compiled in, are never loaded. Switching to device tree fixed that problem. Is there something different I am expected to do with ACPI?
mainline has chosen not to merge the patches we need to support eMMC with ACPI. You either need to use our 5.15.y-cex7 kernel branch, or switch to u-boot with device-tree, and the vendor BSP or mainline kernel.