:name: Icicle Kit
:description: This is a sample script running HSS, U-Boot and Linux on Icicle Kit with PolarFire SoC

$bin?=@https://dl.antmicro.com/projects/renode/icicle--hss.elf-s_3297936-bcb7ef60abc78a878995554160eaac1dea962e95
$uboot?=@https://dl.antmicro.com/projects/renode/icicle--u-boot-s_5132448-194bf14572a9bc4b26727567065ede2ffd7f1201
$vmlinux?=@https://dl.antmicro.com/projects/renode/icicle--vmlinux-s_8563992-fa2aad1e61ec38b411f6afb543503cb26601b1e2
$fit?=@https://dl.antmicro.com/projects/renode/icicle--fitImage.fit-s_16976563-1d0e86ed4cc7c24e167ca899fd929d954956b478
$emmc?=@https://dl.antmicro.com/projects/renode/icicle--emmc.img-s_26746880-3a6ef871bc8eb6fcfbda344e8c23fb534ef89961

i @scripts/single-node/polarfire-soc.resc

# these settings guarantee a deterministic, successful boot-up of Linux
emulation SetGlobalSerialExecution true
emulation SetGlobalQuantum "0.0008"

showAnalyzer mmuart1
machine SdCardFromFile $emmc mmc 0x100000000 persistent=false

macro reset
"""
    sysbus LoadBinary $fit 0x88300000
    sysbus LoadSymbolsFrom $vmlinux
    sysbus LoadSymbolsFrom $uboot
"""
runMacro $reset