Thanks. OK, I have figured it out and it works!
The procedure is:
- build or download the emmc image
- format an SD card as FAT32
- decompress the
upgrade.zip
file to the SD card (all the files should be in the root directory) - insert the card, wait a few seconds for it to flash (you can observe it using the serial console), turn off
- remove the SD card (important - otherwise it will flash again)
- turn the board on - congratulations, you have a system on eMMC
Was this so hard to put in the Docs?
By the way, this is the eMMC info from u-boot:
Device: cv-emmc@4300000
Manufacturer ID: 15
OEM: 100
Name: 8GTF4
Bus Speed: 200000000
Mode: HS200 (200MHz)
Rd Block Len: 512
MMC version 5.1
High Capacity: Yes
Capacity: 7.3 GiB
Bus Width: 4-bit
Erase Group Size: 512 KiB
HC WP Group Size: 8 MiB
User Capacity: 7.3 GiB WRREL
Boot Capacity: 4 MiB ENH
RPMB Capacity: 512 KiB ENH
Boot area 0 is not write protected
Boot area 1 is not write protected
so it runs at HS200 speed which makes it quite a bit faster than the SD card.
If the SD card is inserted when whe system is booted from the eMMC, the board crashes.