[GPL REQUEST] Release Android 16 Device Bring-up Files for Redmi Note 15 4G (spinel)

Hello Xiaomi Kernel Team,

I am writing to formally request the release of the complete Android 16 open-source package for the Redmi Note 15 4G.

Device Information:
• Device: Redmi Note 15 4G
• Codename: spinel
• Firmware: HyperOS 3 (Android 16)

Currently, the Xiaomi Kernel Open Source repository only provides the "spinel-v-oss" branch. However, the published source does not appear to correspond to the kernel and software currently shipping with the latest official Android 16 firmware.

For the custom ROM and kernel development community, the currently available source is insufficient to build or maintain a fully functional Android 16 kernel and device bring-up.

We kindly request Xiaomi to release the complete corresponding Android 16 open-source package, including:

Kernel
• Complete corresponding Android 16 Linux kernel source
• All Xiaomi/MediaTek kernel modifications
• Board-specific kernel defconfig(s)
• Kernel Device Tree Sources (arch/arm64/boot/dts/)
• Device Tree Overlays (DTBO), if applicable
• GPL-licensed in-tree and out-of-tree kernel modules
• Vendor kernel modules (vendor_dlkm / system_dlkm), if maintained separately
• Kernel build configuration (build.config / Bazel configuration)

Boot Components
• Vendor boot ramdisk configuration
• Init boot configuration, if applicable
• Any kernel-side configuration required to reproduce the shipping kernel

Additionally, if possible, we would greatly appreciate the release of the following Android bring-up components to further support the open-source community:

• Android device tree (device/xiaomi/spinel)
• Vendor tree
• Hardware manifests
• SELinux policies
• Proprietary extraction manifests or related build configuration files

These components would significantly benefit:

• Android 16 custom ROM development
• Custom kernel development
• Security research and auditing
• Long-term device maintenance
• Faster bug fixes and community support
• Open-source collaboration

We sincerely appreciate Xiaomi's continued support for the Android open-source ecosystem and hope the complete Android 16 sources for spinel can be released in the near future.

Thank you for your time and consideration.

Start by reviewing the Xiaomi_Kernel_OpenSource repository and the existing spinel-v-oss branch against the Android 16 firmware details in this issue. The requested outcome is Xiaomi publishing the corresponding kernel, device-tree, boot, module, and Android bring-up sources; this depends on the vendor rather than a change a newcomer can implement in the repository.