Xiaomi Redmi 9
Year	2020
Chipset	Mediatek Helio G80
4pda page
XDA Forums page

Unlocking the bootloader
Official firmware

LineageOS Official

Warning: installing through TWRP does not work. You need to use the LineageOS recovery
Download
LineageOS wiki page Ubuntu Touch Abandoned
PostmarketOS Abandoned
TWRP