| :name: LiteX VexRiscv on Nexys Video |
| :description: This script runs Linux with framebuffer support on LiteX/VexRiscv |
| |
| $name?="LiteX" |
| |
| using sysbus |
| mach create $name |
| machine LoadPlatformDescription @platforms/cpus/litex_nexys_video_vexriscv_linux.repl |
| |
| $bios?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--bios.elf-s_470352-c4396f1891658b4892aeb80fb15b32f627f84eef |
| $sdcard?=@https://dl.antmicro.com/projects/renode/litex_vexriscv--linux-sdcard.img-s_12582912-84441f39e3481b461f3ec70b1477d0838a4ae0f0 |
| |
| machine SdCardFromFile $sdcard mmc_controller 0x100000000 False |
| |
| showAnalyzer sysbus.uart |
| showAnalyzer sysbus.litex_video |
| |
| macro reset |
| """ |
| sysbus LoadELF $bios |
| """ |
| |
| runMacro $reset |
