Woah, Xiaomi is behind MIUI? I had no idea. I'm impressed, it's refreshing to see Chinese tech companies pushing innovation and quality to compete instead of half-assed clones.
http://www.thepowerbase.com/2012/11/android-community-demand...
Only their modifications to the linux kernel need to comply with the GPL license.
edit: Here is the relevant quote from the parent's link
>While the kernel modifications [to the GPL licensed Linux kernel] are only a small part of the modifications Xioami has done to create MIUI, it does include the low-level work Xioami has done to push things like performance and energy efficiency.
They also aren't obligated to release the source for all the Android modifications (Apache licensed).