GitHub repository: KeithSu/device_xiaomi_picasso_recovery
Description: Stable device tree for the Redmi K30 5G's recoveries.