Xiaomi Mi A2 Kernel
Run make to compile. An aarch64 toolchain will be downloaded and configured.
Run make fastboot to compile and test.
Run make clean-toolchains to cleanup toolchains.
All other targets are passed through to the kernel's ordinary makefile.