Linux
在智能手机、平板电脑等移动设备方面，Linux也得到重要发展，基于Linux内核的Android操作系统已经超越Apple的iOS操作系统，成为当今全球最流行的智能手机操作系统。在2010年第三季度，销售全球的全部智能手机中使用Android的占据25.5%（所有的基于Linux的手机操作系统在这段时间为27.6%）。
Redmi K40
Redmi K40系列（除Redmi K40 游戏增强版）出厂搭载基于Android 11的MIUI 12操作系统，可通过系统更新升级至MIUI 12.5及后续版本；Redmi K40游戏增强版则出厂搭载基于Android 11的MIUI 12.5操作系统，并支持升级至后续系统版本。