I've done AOKP builds for the Galaxy Nexus, but that was easy as all the necessary code is already in place and that model is officially supported.
I have found our device on Github:
https://github.com/mitwo-dev/android_device_xiaomi_taurus
Anyone have experience in adding our device to the...