[muks]

Same device here (whyred). If you want an "original" build, you can still build an up-to-date Lineage OS with the latest Android security patches from source from their repo. It is very easy to build it on Fedora or Ubuntu and it doesn't take more than a few minutes to do updated builds once you do the first complete build.

Follow the build instructions: https://wiki.lineageos.org/devices/whyred/build

An additional thing you may have to do (on Fedora at least) is to export LANG=C.

You'll also need a vendor tree for whyred from somewhere, like your own phone or from a public repo such as this: https://github.com/Sweeto143/vendor_xiaomi_whyred/tree/oreo

(Getting the tree from an existing Lineage OS phone per the build instructions did not work for me.) Note that the latest version of whyred vendor tree for Android Oreo is from last year. I suspect this is because Xiaomi has moved on to Android Pie for whyred.

What all this gets for you is a build with the latest Android security patches applied (February 5, 2019 as of today).

Good luck. I can report that it builds and works well and it is straightforward to build it (more so for a programmer).

[lsh]

thank you, this is helpful