If you are familiar with Xiaomi, you might have heard that they are not the most compliant when it comes to the General Public License that makes the core of Android open to us. The terms of the GPLv2 state that since the Android kernel is based on the Linux kernel, which is licensed under GPL,v2 Android has to be open-source for everyone to study or modify, and those that modify the Android kernel have to make their sources immediately available for others as well. Sadly, many OEM's don't always comply with the terms - from the very small to the very big.
Xiaomi Releases Kernel Sources
Sign in to your XDA account