This will build the default output for your Xiaomi Redmi Note 8 Pro.
$ nix-build --argstr device xiaomi-begonia -A build.default
The device will need to be booted in its bootloader, or
The boot image can be installed using the following command, assuming it was
built using the previous command.
If you have a system image (
system.img) built, you can use
flash it to the device. Note that it might be too big to fit over the
partition. In such case, it can be flashed on the
This will erase everything on the partition. Additionally, the
common backups methods, e.g. TWRP, will not backup the
$ fastboot flash userdata system.img
Do not acquire a Xiaomi Redmi Note 8 Pro with the intent to run Mobile NixOS on it.
This is not a recommended device.
It is of utmost importance that you read and familiarize yourself with the CFW megathread. Not doing so will result in a brick.
Again, you will almost assuredly brick your phone unless you read, understand and follow instructions pertaining to the community CFW and the Redmi Note 8 Pro.
Finally, as a last warning, you will need the community CFW for the Redmi Note 8 Pro. Otherwise irrecoverably bricking is almost guaranteed.
Recovering from a brick, quick notes
If you’re told “Please select a valid authentication file or ask for help.” it may be a red herring as long as you were mindful of not flashing a stock Xiaomi preloader and lk, and sticking to CFW. Make sure you are not holding power or a volume key when you plug the device in.
It is unknown what is necessary to be flashed using SP Flash Tool when
recovering a bricked device. For some bricks it seems that flashing only
is required. For other bricks it seems more is needed.
With the engineering preloader and aboot (lk), unknown for the stock Xiaomi
one, it is not possible to
fastboot boot a boot image.