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
custom roms - Banking apps not working after flashing OxygenOS - Android Enthusiasts Stack Exchange
xiaomi - How to unlock my device after locking with Google's “Find My Device”? - Android Enthusiasts Stack Exchange
It's the sad end of custom ROMs on Xiaomi devices. : r/Android
Install Custom Rom On Redmi Note 5 Pro, Flash Any Aosp Rom
Newsletters - postPerspective
Can I install a custom ROM which is not similar to the device's model name? - Quora
Best Xiaomi Redmi Note 5 Pro Custom ROMs - Android Infotech
Enterprise Unix Administration
Redmi Note 5 : Android 11 Custom ROM (Corvus 14) Step By Step Guide
How to install custom on Android if the hardware is not present on custom rom device list?
Rollback to Stock MIUI from any custom ROM
How to Install Custom ROM on Redmi 5 plus / Redmi Note 5, Full Step by Step Explained
How to Install Custom ROM on Redmi Note 5 Pro, Step by Step Guide, MIUI 11 Method