1using sysbus
2mach create
3
4$platform?=@tests/peripherals/virtio-platform.repl
5
6machine LoadPlatformDescription $platform
7
8showAnalyzer uart0
9
10$img?=@https://dl.antmicro.com/projects/renode/virtio-filesystem-image-s_8448188-414604e8f64c41ebdbffe0f9ae7525c20bb1b124
11$dtb?=@https://dl.antmicro.com/projects/renode/virtio-filesystem-rv32.dtb-s_1806-b2ad3ecaf517c6a6781d1cbb48eff6fca7972094
12$osbi?=@https://dl.antmicro.com/projects/renode/litex_vexriscv_smp--opensbi.bin-s_45360-dcfe5f7b149bd1e0232609d87fb698f95f5e33c4
13$rootfs?=@https://dl.antmicro.com/projects/renode/virtio-filesystem-rootfs.cpio-s_39962112-95a3591d189699f21b988b036a9843c882d8e42f
14
15sysbus LoadBinary $img 0x40000000
16sysbus LoadBinary $dtb 0x40ef0000
17sysbus LoadBinary $osbi 0x40f00000
18sysbus LoadBinary $rootfs 0x42000000
19
20cpu PC 0x40f00000
21
22$sock_path?=@/tmp/libfuse-passthrough-hp.sock
23$virtiofs_tag?="MySharedDir"
24
25machine StartGdbServer 3333
26virtiofs Create $sock_path $virtiofs_tag
27