Use sdcard image on Zedboard

[Foreveratu]

Description

I'm a zynq-7000 developper and I try to evaluate renode to emulate my device.
I've build a sdcard image and I would like to use it.
I've used qemu and it work well.

I have then create a resc file (based on Zedboard file)

:name: Zedboard
:description: This script runs Linux on Zedboard (Zynq-7000 SoC).

using sysbus
$name?="Zedboard"
mach create $name

machine LoadPlatformDescription @platforms/boards/zedboard.repl
showAnalyzer uart0
sysbus Redirect 0xC0000000 0x0 0x10000000

$img?=@emmc.img

ttc0 Frequency 33333333
ttc1 Frequency 33333333

macro reset
"""
cpu SetRegister 0 0x000
cpu SetRegister 1 0xD32
cpu SetRegister 2 0x100
sysbus ZeroRange 0x1a000000 0x1600000
machine SdCardFromFile $img sdhci0 0x100000000
"""

runMacro $reset

Unfortunately the last instruction (SdCardFromFile) is failing but I dont know why. I have probably done something wrong but I cannot see what. Can you please help me with this ?

Additional information

Ubuntu 22.04.5 LTS

Renode v1.16.0.1573
build: 20ad06d-202508030050
build type: Release
runtime: .NET 8.0.23

[PiotrZierhoffer]

Hi @Foreveratu ,

Thanks for the issue.

We'd need more details to help you. First of all, can you please share the details of the error?

Also, the best way would be if you forked the https://github.com/renode/renode-issue-reproduction-template repository and presented the failing case, including the binaries you're trying to load.

What do you expect to start the execution with? Typically we'd load an ELF file, or set the initial PC values, so I'm not exactly sure what's the final setup you're aiming to create.