Resources that might lead to something helpful
https://www.getdroidtips.com/custom-rom-xiaomi-mi-pad-5/