Hi,
I'm actually experiencing this very issue (D17 red Error LED is lit couple of seconds after boot).
I've tested with the pre-built SD card image prepared and available from the rotcketboards.org website. It didn't work either, and so I've tried a few others.
Namely:
https://releases.rocketboards.org/release/2019.04/gsrd/a10_gsrd/sdimage.tar.gz
I copied the image over using the `dd` command (where /dev/sda corresponds to the mounted device when inserting the SD card):
$ sudo dd if=sdimage.img of=/dev/sda
$ sudo sync
I have confirmed the BSEL jumper settings for the MicroSD daughtercard are correct and default (J3-BSEL0 = short left 2 pins, J4-BSEL1 = short upper 2 pins, J5-BSEL2 = short upper 2 pins).
I have confirmed the MSEL dip switch settings are all OFF (meaning HPS FPGA configuration).
What am I missing? I'm trying to boot from factory settings.
p.s. I monitor the output using minicom connected to the /dev/ttyUSB0 setting that is connected to the microUSB serial communication port on the Arria 10 SoC Dev board.