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.

So sánh các branch bsp-warhol-w-oss với các module được liệt kê được cung cấp trong vendor_boot và vendor_dlkm. Bắt đầu bằng cách kiểm tra các file Kbuild, Makefile, BUILD.bazel hiện có và các header, bao gồm include/miev/mievent.h. Công việc được xem là hoàn tất khi source tương ứng, các mục build và các header bắt buộc được publish cho OS3.0.310.0.WPSMIXM.