There are 0 repository under redmi4prime topic.
Redmi 4 prime (markw/msm8953) stock kernel with proper defconfig and wifi driver.