1:name: LiteX VexRiscv on Nexys Video
2:description: This script runs Linux with framebuffer support on LiteX/VexRiscv
3
4$name?="LiteX"
5
6using sysbus
7mach create $name
8machine LoadPlatformDescription @platforms/cpus/litex_nexys_video_vexriscv_linux.repl
9
10$bios?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--bios.elf-s_470352-c4396f1891658b4892aeb80fb15b32f627f84eef
11$sdcard?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--linux-sdcard.img-s_12582912-84441f39e3481b461f3ec70b1477d0838a4ae0f0
12
13machine SdCardFromFile $sdcard mmc_controller 0x100000000 False
14
15showAnalyzer sysbus.uart
16showAnalyzer sysbus.litex_video
17
18macro reset
19"""
20    sysbus LoadELF $bios
21"""
22
23runMacro $reset
24