[Redmi 1S]Request for Kitkat kernel source and follow GPL

This petition made change with 467 supporters!

As we all know the development for Redmi 1S has reduced drastically. Only beta builds of kitkat has been released till now. However there are successful developers who made even Lollipop possible for our device that too only with the JellyBean kernel's part source.

  • In case you didn't understand what the heading is all about, Xiaomi violated some laws that affects its users. The ROM(software) you are currently using(be it MIUI or CyanogenMod) is the hardwork of people who followed GPL(something Xiaomi doesnt follow, but they are supposed to).

Everyone knows Xiaomi has been violating laws and it is our need that Xiaomi release the KitKat kernel sources so that development doesnt stop.

  • The following is the draft of the actual complaint to be filed against Xiaomi for violationg GPL Laws. The petitioners' kindly request Xiaomi to follow GPL laws and hence release the sources.


I'm mailing you today for violation caused to GNU GPL v2 due to android vendor namely 'Xiaomi Inc'

They used Android Kernel which is basically fork of Linux Kernel and both of them are under GNU GPL v2 license. I'm going into as much details, I can get into so that may help you to fix the dispute by somehow forcing them to opensource things.

So first here comes the details of company who caused the violation :-

Precise Name of Product :-Xiaomi RedMi 1S
Precise Name of Company :- Xiaomi Inc
Location : Basically Mainland China
Contact Mail addresses :-,

How the license is violated :-
Xiaomi is china-based android mobile phone vendor which is currently selling it's phones commerically in Asia. They've future plans to enter into global market soon.
Now Phone is using Android Platform by Google as their mobile phone's OS. There phones comes pre-installed with MIUI OS which is basically modded version of Android.
Android is built upon Linux Kernel and Linux Kernel is under GNU GPL v2 license.
So Xiaomi Mi3 and RedMI 1S are the two devices currently which they have been selling since quite a few months in many countries commerically but they haven't open sourced kernel sources yet.

As Linux kernel is totally open sourced and under GNU GPL v2 license,

Here are the few reasons why it should be open sourced :-

*The GPL states that anyone who modifies GPL licensed code is required to make available the sources used to compile it. This is to further improve and encourage collaborative work, as well as to ensure that the best code possible is produced, and to encourage peer-review of all work. This benefits both developers and end users in numerous ways, including:

Allowing anyone to verify the code they are trusting with their data, and its authenticity
Encouraging community collaboration to produce faster fixes and updates, and better code
Helping bring new developments from other devices and fields to your own, letting you benefit from new code that wouldn’t have been available without this sharing.
The GPL imparts great freedom for GPL end users. It ensures innovation is never stifled and no project is dependent upon any single developer.
Sources accompanying a release should be complete, and contain all the necessary source code for any modules, scripts or definition files. Complete sources will be defined as those which compile correctly and completely against the platform for which the software is distributed, and which contain any and all modifications made to the released General Public licensed code. The source code supplied should be the exact version for which the source code is being requested, complete with all modifications.

Here is the link where we can see Linux kernel is using GNU GPL v2 license .
Here is link where can we clearly see Android Kernel is using GNU GPL v2 license

Now according to GPL, Developer is free to mode the sources the way he wants to, He can re-distribute it commerically too but just thing is like he has to upload his changes to the open community and has to provide complete sources which is buildable.
Now Xiaomi has not open-sourced their kernel sources yet despite of using Android Kernel. This is complete violation to GPL. We end-users have tried many times contacting them but simply they repsond like they're working on it and will release it soon but that soon never actually came.
I guess they never cared about getting it open source. I guess noone here cares in my country to GPL violation but I presume you people are here to help us with getting kernel sources open sourced. Thing is like prebuilt binary kernel which is made available to us by company is very much outpdated i mean compenents in the sources of theirs is very much outdated and for porting newer android releases update of things at kernel level is very much needed but due to lack of sources not much development did take place into our devices but with your help if we get sources pushed up for everyone. It will be very much useful for us for further development of our devices.
Reason of mailing you people is because as written on license file it clearly states :-
NOTE! This copyright does *not* cover user programs that use kernel services by normal system calls - this is merely considered normal use of the kernel, and does *not* fall under the heading of "derived work". Also note that the GPL below is copyrighted by the Free Software Foundation, but the instance of code that it refers to (the Linux kernel) is copyrighted by me and others who actually wrote it.
So 'Free Software Foundation' has copyrights on this kernel source.


Today: Redmi 1S Users is counting on you

Redmi 1S Users needs your help with “Xiaomi Inc.: [Redmi 1S]Request for Kitkat kernel source and follow GPL”. Join Redmi 1S Users and 466 supporters today.