关于 Redmi Note 13 4G 设备 GPL 合规问题的正式通知

本人特此正式致函小米公司，就 Redmi Note 13 4G 设备的 Linux 内核源代码长期未公开一事提出严正关切。该设备搭载 Android / HyperOS 系统，而该系统核心基于 Linux 内核。Linux 内核依据 GNU 通用公共许可证第二版（GPLv2）进行授权，该许可证对软件的分发方规定了明确且具有法律约束力的义务。
根据 GPLv2 的条款，任何分发包含修改过的 Linux 内核的产品的公司，均有法律义务公开完整且对应的源代码。这不仅包括内核主源码，还包括所有针对该设备的修改内容、配置文件以及用于生成随设备发布之内核二进制文件的相关构建组件。这并非自愿行为，而是使用和分发 GPL 授权软件所必须履行的法律条件。
截至目前，Redmi Note 13 4G 的 Linux 内核源代码尚未在小米官方开源仓库或任何其他官方渠道发布，尽管该设备已上市相当长时间，并且已经获得多次官方系统更新。此种持续未履行义务的行为，已构成对 GPLv2 许可证的明确且持续的违反。
不遵守 GPL 许可证将使小米公司面临潜在的法律风险，包括但不限于由自由软件合规组织发起的正式合规行动及法律程序。GPL 许可证在多个司法辖区内已被确认为具有法律效力，违规行为可能导致禁令、产品分发限制以及声誉损害。
此外，此类不合规行为也严重损害了开发者、安全研究人员及技术用户的正当权益。这些群体依赖内核源代码以进行安全审计、内核开发、长期维护以及定制化开发。小米公司长期以来受益于开源生态系统，并曾为多款设备发布内核源代码，因此 Redmi Note 13 4G 缺乏相应源码的情况尤显不一致且令人担忧。
鉴此，本人正式要求小米公司立即履行其在 GPLv2 许可证下的法律义务，公开 Redmi Note 13 4G 设备完整且对应的 Linux 内核源代码。及时合规不仅可避免不必要的法律风险，也将体现小米公司对开源许可、法律合规以及开源社区的尊重与承诺。
如该问题未能在合理期限内得到解决，相关方可能不得不将此事提交至专门负责 GPL 执行与软件自由合规的组织进一步处理。

The report names no repository files, tests, or entry points. Review the repository's existing official kernel releases and release process; done would mean the complete corresponding Redmi Note 13 4G Linux kernel source, configuration, and build components are published through an official channel.