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.

Comparez les branches bsp-warhol-w-oss avec les modules listés fournis dans vendor_boot et vendor_dlkm. Commencez par vérifier les fichiers Kbuild, Makefile et BUILD.bazel existants ainsi que les headers, notamment include/miev/mievent.h. Le travail est considéré comme terminé lorsque le code source correspondant, les entrées de build et les headers requis sont publiés pour OS3.0.310.0.WPSMIXM.