1:name: LiteX SD card-based Linux rootfs demo
2:description: This script runs Linux on LiteX/VexRiscv with the rootfs loaded form the SD card.
3
4$name?="litex-vexriscv"
5
6$rootfs?=@https://dl.antmicro.com/projects/renode/riscv32-buildroot--busybox-rootfs.ext4.image-s_67108864-cd5badff81b32092c010d683c471821d4ea99af6
7$device_tree?=@https://dl.antmicro.com/projects/renode/litex_vexriscv-sdcard--rootfs_from_sdcard-rv32.dtb-s_3255-8305d2b80955418e53f5400c492dc74dccf05ac8
8$kernel?=@https://dl.antmicro.com/projects/renode/litex_vexriscv-sdcard--kernel.bin-s_6934900-7a7291fdb880ad8e2aa75276807f8adf5fb8303a
9$emulator?=@https://dl.antmicro.com/projects/renode/litex_vexriscv-sdcard--opensbi.bin-s_45360-71c1954133f6589f34fcb00554be44195e23e9d5
10
11using sysbus
12mach create $name
13
14machine LoadPlatformDescription @platforms/cpus/litex_linux_vexriscv_sdcard.repl
15machine SdCardFromFile $rootfs mmc_controller 0x20000000 False
16
17showAnalyzer uart
18
19macro reset
20"""
21    sysbus LoadBinary $kernel 0x40000000
22    sysbus LoadBinary $device_tree 0x40ef0000
23    sysbus LoadBinary $emulator 0x40f00000
24    cpu PC 0x40f00000
25"""
26runMacro $reset
27