FWIW it is actually worse than it looks like. Even when Xiaomi did/do provide some kernel sources, it's never anywhere near the production code you're running o

FWIW it is actually worse than it looks like. Even when Xiaomi did/do provide some kernel sources, it's never anywhere near the production code you're running on your smartphone! It's hard to believe, but the "GPL release" they made were actually full clean rewrite of the hardware support made on top of SoC vendor's (say Qualcomm) kernel release. I have a very hard time understanding why they did, but there were definitely inconsistencies that are very hard to explain another way.