1:name: Verilated Ibex
2:description: This script runs LiteX BIOS on the verilated Ibex CPU.
3
4$name?="Verilated Ibex"
5
6using sysbus
7mach create $name
8machine LoadPlatformDescription @platforms/cpus/verilated/verilated_ibex.repl
9
10$bios?=@https://dl.antmicro.com/projects/renode/litex_ibex--bios.bin-s_20712-80d064cf8ab28801b78c0e5a63cac4830016f6c8
11$cpuLinux?=@https://dl.antmicro.com/projects/renode/libVcpu_ibex-Linux-x86_64-13112907851.so-s_2251128-ab2dcb1801188d7f934bdeafa93f9c1edc60ad39
12$cpuWindows?=@https://dl.antmicro.com/projects/renode/libVcpu_ibex-Windows-x86_64-13112907851.dll-s_3426669-58d11ffc81ea755c1d1151e6b33fc13164bb13d5
13$cpuMacOS?=@https://dl.antmicro.com/projects/renode/libVcpu_ibex-macOS-x86_64-13112907851.dylib-s_336528-7677f09f18bfb2937ad2bffdd63ed7d76bb15d56
14
15showAnalyzer sysbus.uart
16
17cpu SimulationFilePathLinux $cpuLinux
18cpu SimulationFilePathWindows $cpuWindows
19cpu SimulationFilePathMacOS $cpuMacOS
20
21macro reset
22"""
23    sysbus LoadBinary $bios 0x0
24    sysbus.cpu PC 0x0
25"""
26
27runMacro $reset
28
29