For custom ROMs like LineageOS, the more specific device names are used. So e.g. the Xiaomi Redmi Note 5 is called whyred or Samsung Galaxy S7 Edge goes hero2lte. Having some experience in Android
wi fi - wi-fi + bluetooth + usb failed for no reason (no system update) on xiaomi redmi note 4 - Android Enthusiasts Stack Exchange
Download Android 14 Custom Rom For Redmi Note 5/Pro, by Sandeep Gautam
Redmi Note 5 : Android 11 Custom ROM (Corvus 14) Step By Step Guide
Is custom roms safe ? : r/PixelExperience
It's the sad end of custom ROMs on Xiaomi devices. : r/Android
Can I install a custom ROM which is not similar to the device's model name? - Quora
FiiO X5 3rd gen Premium Hi-Res DAP - Reviews Headphone Reviews and Discussion
3 Best Custom Rom for Xiaomi Redmi Note 5/Redmi 5 Plus
Xiaomi Redmi Note 7 (lavender), Root using TWRP and Magisk
Rollback to Stock MIUI from any custom ROM
Install Custom Rom On Redmi Note 5 Pro, Flash Any Aosp Rom
Custom Rom For Redmi Note 5/Redmi 5 Plus (Vince) Redmi 5 Plus / Redmi Note 5 New Updates
3 Best Custom Rom for Xiaomi Redmi Note 5/Redmi 5 Plus