Ok, somehow the behavior depends very much on the exact card being used.
It failed with 32GB cards, multiple trusted brands, all failed to mount. Working ok with laptop/phone.
It mounted 16GB card speed class 4, but failed to read the data, giving same errors as in 595355940’s example.
For the note - that’s failure, bitstream wasn’t read, and fpga wasn’t initialized, even if output gets “run” printed.
It worked ok with 16GB speed class 10, and with 8GB speed class 4 cards.
All the smaller tested cards were of the same brand (Team)
So, any logical explanation?
It’s not brand, all cards were of the same brand.
It’s not the speed class, since two cards of different classes worked, and one failed card was of the same class as working one.
It’s not the size, not directly. One 16GB card worked, the other 16GB didn’t. And I’ve tried to format it with smaller partition size to avoid possible issues with FAT fs implementation in ESP32 libraries - didn’t help.
On the bright side - I’ve got FPGA successfully configured and running.
Still I’d like to understand what’s the problems with SD cards handling.
I wouldn’t want to buy a pack of cards to find the one that’s liked by the board’s spirit 