Redmi note 9 pro r os download

Does this os is available for note 9 pro…
If this is not available can I build for it for myself?
I am a Linux distro maintainer.
~thanks

Hi @Kazi_sifat welcome to the /e/ forum.

You will really need your device codename
then perhaps check this search

Bon chance