1using sysbus
2
3mach create
4machine LoadPlatformDescription @platforms/cpus/litex_vexriscv_linux.repl
5
6sysbus SilenceRange <0xf0004000 0x100> # SDRAM
7sysbus SilenceRange <0xf0009000 0x100> # ETH PHY
8
9showAnalyzer uart
10
11$kernel?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--linux_kernel.bin-s_2726132-bf6ce8df309ad53deb081351129eb135a4ad508d
12$rootfs?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--buildroot_rootfs.cpio-s_4055552-6743d738694cfdb8eea3d4632f92bf88de330025
13$dtb?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--linux.dtb-s_1866-ee6b16235a4503283f676c42a16cd1b1ddb54a83
14$emulator?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--emulator.bin-s_9028-796a4227b806997c6629462fdf0dcae73de06929
15
16macro reset
17"""
18    ### Linux kernel
19    sysbus LoadBinary $kernel 0xc0000000
20
21    ### rootfs
22    sysbus LoadBinary $rootfs 0xc0800000
23
24    ### dts
25    sysbus LoadFdt $dtb 0xc1000000
26
27    ### VexRiscv BIOS aka emulator
28    sysbus LoadBinary $emulator 0x20000000
29
30    cpu PC 0x20000000
31"""
32
33runMacro $reset
34