No HyperOS 4 for the Redmi Note 13 Pro 5G and POCO X6 5G (garnet), so custom ROMs are the way to Android 17: official crDroid 13, Infinity X 4.1, AxionOS 2.9, PixelOS 17, ASCP 6.3 and LineageOS Ext 24, the firmware each one needs, and how to install, based on the LineageOS wiki and the 4PDA thread.

Android 17 custom ROMs for the POCO F7 (onyx): official crDroid 13, Project Infinity X 4.2, PixelOS 17, AxionOS 2.9 and DerpFest 17, which one 4PDA users pick, and how to flash firmware and install a ROM, based on the 4PDA thread and the official guides.

LineageOS 24 based on Android 17 has official builds for 25 Xiaomi, Redmi and POCO phones, from the Xiaomi 12 and 13 series to POCO F3, F5, F6 Pro, X4 GT and Redmi Note 8 and 9. Full list with codenames, what's new and how to install.