# POCO F4 / Redmi k40s

> Device facts and download links for the POCO F4 / Redmi k40s (codename munch, munchin).

Source: https://rootmyandroid.com/device/munch-munchin/
Brand: Xiaomi
Codename: munch, munchin
Recovery support status: Current
Maintainer: Himanshu Raj (hraj9258)
Device tree: https://github.com/TeamWin/android_device_xiaomi_munch
Recovery download (Americas): https://dl.twrp.me/munch/
Recovery download (Europe): https://eu.dl.twrp.me/munch/
Listed: 2026-11-08
