Redmi A1 (ice) — Incomplete Kernel Source: Missing Drivers and Unbuildable Source Tree

[matheusc457]

Hello MiCode team,

My name is Matheus, and I am reporting a critical issue with the kernel source published for the Redmi A1 / POCO C50 under the branch ice-s-oss.

The kernel source is incomplete and cannot be compiled, even though the correct defconfig is provided.

Below is a clear list of problems encountered:

1. Missing driver directories (SOLOMON)
   The following file is referenced but does not exist:

drivers/input/touchscreen/mediatek/SOLOMON/Makefile

Make errors:

drivers/input/touchscreen/mediatek/SOLOMON/Makefile: No such file or directory

Multiple Makefiles reference the same missing directory.

2. Assembly files contain invalid/truncated code
   During the build, this error appears:

Error: junk at the end of line, first unrecognized character is '#'

This indicates truncated or corrupted source files, meaning the published code is not the same as the kernel shipped on the device.

3. make mrproper fails
   Running:

make mrproper

produces errors related to missing folders referenced by Makefiles. This confirms the source tree is incomplete.

4. Source does not match the kernel from the stock ROM
   Because of the missing drivers and corrupted assembly files, it is impossible to reproduce the stock kernel image.

Under GPLv2, Xiaomi is required to publish the complete corresponding source code necessary to rebuild the kernel used in production firmware. The current release does not meet GPL requirements.

Device Information

• Device: Redmi A1 / POCO C50
• Codename: ice
• Branch: ice-s-oss
• Kernel version: 4.19.191
• Build environment: Void Linux + aarch64/arm toolchains

Please provide:

• A corrected and complete kernel source tree for the Redmi A1 (ice)

I can provide full build logs if needed.

Thank you,
Matheus