Hi @Dark-Matter welcome to the /e/ forum.
If you need to check the codename for your device, read this [HOWTO] Find device codename
There is this unofficial build for merlin.
https://community.e.foundation/t/xiaomi-redmi-note-9-merlin/23793/4/
1 Like