1$name?="hifive-unleashed"
2
3using sysbus
4mach create $name
5machine LoadPlatformDescription @platforms/cpus/sifive-fu540.repl
6
7showAnalyzer uart0
8
9$bin?=@https://dl.antmicro.com/projects/renode/hifive-unleashed--bbl.elf-s_17219640-c7e1b920bf81be4062f467d9ecf689dbf7f29c7a
10$fdt?=@https://dl.antmicro.com/projects/renode/hifive-unleashed--devicetree.dtb-s_10532-70cd4fc9f3b4df929eba6e6f22d02e6ce4c17bd1
11$vmlinux?=@https://dl.antmicro.com/projects/renode/hifive-unleashed--vmlinux.elf-s_80421976-46788813c50dc7eb1a1a33c1730ca633616f75f5
12
13macro reset
14"""
15    sysbus LoadELF $bin
16    sysbus LoadFdt $fdt 0x81000000 "earlyconsole mem=256M@0x80000000"
17
18    # Load the Linux kernel symbols, as they are not included in the BBL
19    sysbus LoadSymbolsFrom $vmlinux
20
21    # Device tree address is passed as an argument to the BBL
22    e51 SetRegister 11 0x81000000
23"""
24runMacro $reset
25