Xiaomi was unfavorably covered for its non-compliance with the terms of the GNU GPL. The Android project's Linux kernel is licensed under the copyleft terms of the GPL, which requires Xiaomi to distribute the complete source code of the Android kernel and device trees for every Android device it distributes. By refusing to do so, or by unreasonably delaying these releases, Xiaomi is operating in violation of intellectual property law in China, as a WIPO state. Prominent Android developer Francisco Franco publicly criticized Xiaomi's behaviour after repeated delays in the release of kernel source code. Xiaomi in 2013 said that it would release the kernel code. The kernel source code is available on the GitHub website.