Xiaomi's mixed record for releasing kernel sources continues, as the company has still not posted sources for the Mi A1. While Xiaomi has previously stated their internal goal for releasing kernels is "within three months," according to XDA-Developers, the Mi A1 is well past this mark, as it was released last September. With the apparent end of the Nexus device program, the Mi A1 would be a prime candidate for custom ROM development, in place of the 2+ year old Nexus 5X.
Xiaomi has had a rather tortured past with GPL compliance. While the company had released sources for recent Redmi phones in a timely manner, prior phones such as the Mi3 had been subject to half-year delays. Being an Android One device, it should be held to a higher standard.
Noted Android developer Francisco Franco has tweeted his displeasure regarding Xiaomi's lack of kernel source releases:
Alright, I've had enough of this. I want to work on the Mi A1 but it's not possible because they haven't released the Kernel sources. @xiaomi @XiaomiUSA you're violating the GPLv2 license of the Linux Kernel by not release the Kernel sources for your @androidone device.
— Francisco (@franciscof_1990) January 16, 2018
Xiaomi has now released the official kernel source code for the Mi A1. You can read about it here.