warhol (Xiaomi 17T Pro): source missing for 28 GPL-licensed kernel modules

Thank you for publishing the bsp-warhol-w-oss branches of MTK_kernel_device_modules and MTK_kernel_modules.

Comparing those branches with the kernel modules that ship on the device, 28 modules have no source in either branch. Each one declares MODULE_LICENSE("GPL") or MODULE_LICENSE("GPL v2") in its own .modinfo, so under GPLv2 section 3 their corresponding source should be available as well.

Device: Xiaomi 17T Pro (warhol), model 2602EPTC0G
Firmware: OS3.0.310.0.WPSMIXM (Android 16)
Kernel: 6.12.38-android16-5-g1d46253471dd-ab15048002-4k

Modules (file, where it ships, declared license):

• binder_gki.ko (vendor_dlkm, GPL)
• binder_prio.ko (vendor_dlkm, GPL)
• crash_module.ko (vendor_boot, GPL v2)
• dynamic_readahead.ko (vendor_boot, GPL v2)
• io_monitor.ko (vendor_boot, GPL v2)
• iorap2.ko (vendor_dlkm, GPL v2)
• kshrink_slabd.ko (vendor_boot and vendor_dlkm, GPL v2)
• metis.ko (vendor_dlkm, GPL)
• mi_mem_epoll.ko (vendor_dlkm, GPL)
• mi_memory.ko (vendor_boot, GPL)
• mi_mempool.ko (vendor_dlkm, GPL)
• mi_schedule.ko (vendor_dlkm, GPL)
• mi_thermal_interface.ko (vendor_dlkm, GPL v2)
• mi_unfairmem.ko (vendor_dlkm, GPL)
• miev.ko (vendor_boot, GPL)
• migt.ko (vendor_dlkm, GPL)
• millet_binder.ko (vendor_dlkm, GPL)
• millet_core.ko (vendor_dlkm, GPL)
• millet_hs.ko (vendor_dlkm, GPL)
• millet_oem_cgroup.ko (vendor_dlkm, GPL)
• millet_pkg.ko (vendor_dlkm, GPL)
• millet_sig.ko (vendor_dlkm, GPL)
• perf_helper.ko (vendor_boot and vendor_dlkm, GPL)
• powersave.ko (vendor_dlkm, GPL)
• simtray.ko (vendor_boot and vendor_dlkm, GPL)
• sla.ko (vendor_dlkm, GPL v2)
• xiaomi_spi_tee.ko (vendor_dlkm, GPL)
• xm_power.ko (vendor_dlkm, GPL)

Could you please publish the source for these modules, matching the version shipped in OS3.0.310.0.WPSMIXM, together with the Kbuild/Makefile/BUILD.bazel entries and headers needed to build them? Adding them to the existing bsp-warhol-w-oss branches would be ideal.

How this was checked: every .ko in the vendor_boot ramdisk and in vendor_dlkm was matched by name against the Kbuild, Makefile and Bazel files and the source file names in both branches. These 28 have no match. For miev, only the header include/miev/mievent.h is present, not the driver.

Thank you.

Vergleiche die Branches bsp-warhol-w-oss mit den aufgeführten Modulen, die in vendor_boot und vendor_dlkm ausgeliefert werden. Beginne mit der Prüfung der vorhandenen Kbuild-, Makefile- und BUILD.bazel-Dateien sowie der Header, einschließlich include/miev/mievent.h. Als abgeschlossen gilt die Aufgabe, wenn der entsprechende Quellcode, die Build-Einträge und die erforderlichen Header für OS3.0.310.0.WPSMIXM veröffentlicht sind.