I’m developing LineageOS for the POCO F4 / Redmi K40s. While OTA updates aren't functional yet, you can easily update by dirty flashing the new build without wiping your data. I’ll do my best to keep this ROM regularly updated