Xiaomi Redmi Note 8 Pro



Redmi Note 8 Pro



System Type







Mobile NixOS repository


Hydra (default build)


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 fastboot, mode. The boot image can be installed using the following command, assuming it was built using the previous command.

$ result/flash-critical.sh

If you have a system image (system.img) built, you can use fastboot to flash it to the device. Note that it might be too big to fit over the system partition. In such case, it can be flashed on the userdata partition.

This will erase everything on the partition. Additionally, the common backups methods, e.g. TWRP, will not backup the userdata partition.
$ fastboot flash userdata system.img

Device-specific notes


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 boot is required. For other bricks it seems more is needed.

Fastboot commands

With the engineering preloader and aboot (lk), unknown for the stock Xiaomi one, it is not possible to fastboot boot a boot image.