In case if you are new to Android ROM development, know that these sources will help the independent developers to work upon, build and compile the various custom ROMs from scratch, which the end users can then flash their phone with and use it.
The kernel source code for Mi A1 is available for download on GitHub.
