[lowrisc-dev] Having troubles booting lowRISC v0.5

Hello, I'm trying to boot lowRISC Ethernet-v0.5 on a Nexys4 DDR board but got stuck in the boot process. I want to boot OS from a SD card and downloaded the pre-built SD-image provided by the tutorial. The SD card is partioned according to the tutorial. I put 'boot0000.bin' in the 32M 'W95 FAT32' partion. Then the boot process got stuck and I got the following output from microcomthrough UART connection (full output log is attached to this mail): Setting the clock ... [   10.810000] mmc0: new SDHC card at address b368 [   10.830000] blk_queue_max_hw_sectors: set to minimum 8 [   10.850000] mmcblk0: mmc0:b368 CBADS 30.0 GiB [   10.910000]  mmcblk0: p1 p2 p3 rdate: timeout connecting to time server Waiting for the sd card ... Mounting the sd partition ... Switch to sd root [   35.390000] random: nonblocking pool is initialized INIT: version 2.88 booting After the 'INIT: version 2.88 booting' I got no more output, so I cannot figure out what is going on and where I made a mistake. Could you please help me to find out the reason why the boot process was stuck? ps: I didn't connect the board and my host PC with ethernet cable, could this be the reason? Thanks & Regards, Chen Dongwei.