Title: Redmi 15 5G (spring) stock kernel build blocked by incomplete Kleaf workspace

[Githron]

Device:

• Redmi 15 5G
• codename: spring
• stock HyperOS 2
• Android 15
• bootloader unlocked
• Magisk 29

Current kernel:

• 6.1.118-android14-11-ga3b9c44908dd-ab13320413

Goal:
Build a stock-compatible kernel with external Atheros USB Wi-Fi support for Kali NetHunter, specifically ATH9K_HTC / AR9271.

What I did:

• extracted Xiaomi_Kernel_OpenSource-spring-v-oss.zip
• extracted spring kernel devicetree zip
• confirmed spring uses Qualcomm GKI fragment-based config flow
• patched config fragments to enable:
  • CONFIG_WLAN_VENDOR_ATH=y
  • CONFIG_ATH9K_HTC=m
• switched from Termux to Kali rootfs so Bazel can run properly

Current blocker:
The released source package does not appear to be a complete standalone Kleaf workspace.
Build fails because required files are missing, especially:

• build/kernel/kleaf/workspace.bzl

So the problem appears to be missing workspace/build infrastructure rather than config syntax or environment.

Request:

• Is there a full manifest/repo checkout for spring?
• Is there an additional package needed for Kleaf workspace files?
• Has anyone successfully built spring stock kernel from Xiaomi’s released source?

I can provide logs, partition backups, and test results.