I'm using licheepi 4A Book, I need to flash the nixos into eMMC though the USB. How can I do it?

[lunaticabs]

I'm using licheepi 4A Book, the official doc

fastboot flash ram u-boot-with-spl-plastic8g.bin
fastboot reboot
fastboot flash uboot u-boot-with-spl-plastic8g.bin
fastboot flash boot boot.ext4
fastboot flash root root.ext4

How can I make this boot.ext4 and root.ext4?

[ryan4yin]

This project use a different way to do this, you cannot flash nixos into eMMC via USB directly, please follow the README of this project to see how to flash the image into eMMC.

does it really need a SD card to boot?

Yep, you need a SD card to have NixOS in your eMMC.
The official has made some tricks in its u-boot to directly write the system to eMMC through fastboot flash,
but it does not apply to this project.

[lunaticabs]

This project use a different way to do this, you cannot flash nixos into eMMC via USB directly, please follow the README of this project to see how to flash the image into eMMC.

does it really need a SD card to boot?

Yep, you need a SD card to have NixOS in your eMMC. The official has made some tricks in its u-boot to directly write the system to eMMC through fastboot flash, but it does not apply to this project.

But mine is licheepi 4A BOOK, they do NOT provide a way to use SD card.

[ryan4yin]

But mine is licheepi 4A BOOK, they do NOT provide a way to use SD card.

Take it easy man, it's not my fault to not provide such a way to use SD card on LicheePi 4A Book, I am just a NixOS user interested in RISC-V, Sipeed never paid me a penny for this project.

Anyway, maybe you can try replacing the SD card with a USB flash drive, and try to boot from it.

[lunaticabs]

So can you teach me how to modifiy the NixOS iso? So that maybe I can figrue it out by my self. Some doc or tutorial i think?

[lunaticabs]

It's really sad to pay hundreds bucks for a useless laptop.

[ryan4yin]

Have you tried replacing the SD card with a USB flash drive, and try to boot from it?

So can you teach me how to modifiy the NixOS iso? So that maybe I can figrue it out by my self. Some doc or tutorial i think?

I don't know how familiar you are with NixOS, My NixOS book may be helpful for you:

https://nixos-and-flakes.thiscute.world/

And our NixOS Chinese Group is also a good place to ask questions related to this:

https://t.me/nixos_zhcn

[ryan4yin]

NixOS is quite different from other Linux distributions, you should have a good understanding of NixOS before learning how this project works.