TDA4VE-Q1: Provide a list with tested/approved SD cards

Hi Marius,

We use SanDisk 8GB MicroSDHC Class 10 Memory Card in our performance benchmark in the test farm: https://software-dl.ti.com/jacinto7/esd/processor-sdk-linux-j721s2/10_00_00_08/exports/docs/devices/J7_Family/linux/Release_Specific_Performance_Guide.html#uboot-mmc-sd-driver 

In terms of recommendation, major brands like SanDisk is usually functional.

Personally, I use these two micro SD cards, 1 from SanDisk and another from Kingston:

You may buy any of the ones I have listed above.

Regards,

Takuma