Xiaomi has been in violation of GPL for years
What one could possibly do about this? We submitted reports everywhere but even the GNU guys said they could do nothing about it — are licenses even worth anything or it's just a fancy marketing thing today?