[Xiaomi Redmi Note 5 Pro ROMs, Kernels, Recoveries,] Ayan Uchiha Choudhury:
#include <std_disclaimer.h>
/*
* Your warranty is... still valid?
*
* I am not responsible for bricked devices, dead SD cards,
* thermonuclear war, or you getting fired because the alarm app failed. Please
* do some research if you have any concerns about features included in this ROM
* before flashing it! YOU are choosing to make these modifications, and if
* you point the finger at me for messing up your device, I will laugh at you.
*/

Now that I'm done saving my butt, let's proceed :D

LeanOS is a custom ROM for Xiaomi Redmi Note 5 Pro (Whyred) that implements various features Also its Refreshment Drink for Your Device. This project was designed by our "LeanOS Team" from scratch based on AOSP source code. Also for HALs we use CodeAurora sources (i.e. CAF).

[SIZE=+2]Team Lean[/SIZE]

[MENTION=7515368]Blackman01[/MENTION](Core/Head Developer)

[MENTION=5918218]taranhora[/MENTION](Lead Developer)

[MENTION=6553877]Dell Schulz[/MENTION](Developer)

[MENTION=7050563]riteshm321[/MENTION](Developer)

[MENTION=7477838]Ryan1701[/MENTION](Designer)

[MENTION=8829870]SuperDroidBond[/MENTION](SPECIAL THANKS)

[MENTION=6519039]Henrique Silva[/MENTION](SPECIAL THANKS)

Social Network Manager:

[MENTION=7054056]Rasinsahaji[/MENTION]

[SIZE=+1]Got an issue or suggestion? Reach us at[/SIZE]

Telegram: https://t.me/lean_os

Intial Build

OTA Updates support: Coming soon!

LeanOS: Lean-Project

Lean Device Sources: Lean-Devices

Kernel Tree : Kernel Tree

Device Tree: Device Tree

Vendor Tree: Vendor Tree

[SIZE=+1]Clean Install[/SIZE]

1. Download the ROM

2. Download GAPPS

3. Go to recovery and TAKE A NANDROID BACKUP

4. WIPE SYSTEM,DATA,CACHE AND DALVIK CACHE if coming from any other ROM. When i post updates wipe only cache and dalvik cache

5. Flash ROM, GAPPS and magisk installer if you want playstore as certified

6. Reboot

ROM: Lean OS

GApps: OpenGApps

Magisk Manager: Here

[SIZE=+1]Credits[/SIZE]

- Google for AOSP

- Team Lean

- Nitrogen Project

- PixelExperience

- OMNIROM

- AospExtended

- MSM-Xtended

- Aosip

XDA:DevDB Information

[ROM][9.0][Whyred] LeanOS Pie[2018/11/11], ROM for Redmi Note 5 Pro

Contributors

Rashed Sahaji

Your bug report MUST contain the following information

Phone Informations
*Lean Remix OS version
* Gapps version
What you did:
* Wipe data: y/n
* Upgrade from previous lean build: y/n
* Restore with titanium backup: y/n
You're using (if yes write which one) :
* Task killer
* Phone cleaner / Battery enhancer apps
* Non-stock kernel
* Modified kernel settings
* Other mods
Bug info:

Along with that IT MUST contain log files. if you don't know how to take them then follow this

If it is a random reboot, grab kmsg/dmesg. (Do not bother getting a logcat unless you can get it just before the reboot. A logcat after a reboot is useless)

google how to do it!!!

Lastly if you like my work and if you think i should be doing more kindly donate to me. ALL money will be gone to servers and investing in projects!! :)

Donation link - Donate to me/Click here for paytm donations

Always remember donations is anything but a neccessity!!

A huge thanks to [MENTION=9639507]Being_Zeeshan[/MENTION] for helping me to test my builds.

XDA:DevDB Information

Lean OS for whyred, ROM for the Xiaomi Redmi Note 5 Pro

Contributors

Ayan Uchiha Choudhury, Rashedsahaji, being_zeeshan

Source Code: https://github.com/LeanOS-Project

ROM OS Version: 9.x Pie

ROM Kernel: Linux 4.x

ROM Firmware Required: Redmi note 5 pro

Based On: AOSP

Version Information

Status: Stable

Stable Release Date: 2019-01-29

Created 2019-01-29

Last Updated 2019-03-08