1:name: Versatile Express
2:description: This script runs Linux on Versatile Express.
3#
4# DEMO SCRIPT
5#
6# platform: vexpress busybox linux
7#
8
9using sysbus
10$name?="VersatileExpress"
11mach create $name
12machine LoadPlatformDescription @platforms/boards/vexpress.repl
13
14sysbus Redirect 0xC0000000 0x80000000 0x20000000
15
16$bin?=@https://dl.antmicro.com/projects/renode/vexpress--vmlinux-vexpress--c2e36631a7ac4fced04258b63e5d80d25e0a18cc
17$rootfs?=@https://dl.antmicro.com/projects/renode/cortex-a9--rootfs-minimal.cpio--abd8ed48b3dd3b0fec98f5ffb50fdd881fde40af
18### create externals ###
19
20showAnalyzer sysbus.uart0
21
22macro reset
23"""
24    ### set registers ###
25
26    cpu SetRegister 0 0x0
27    cpu SetRegister 1 0x8E0      # board id
28    cpu SetRegister 2 0x80000100 # atags
29
30    ### load binaries ###
31
32    sysbus LoadELF $bin
33
34    sysbus ZeroRange 0x80800000 0x800000
35    sysbus LoadBinary $rootfs 0x80800000
36
37    sysbus LoadAtags "console=ttyAMA0,115200 root=/dev/ram initrd=0x80800000,8M mem=512M vmalloc=256M earlyprintk" 0x20000000 0x80000100
38
39    cpu PC 0x80008000
40"""
41
42runMacro $reset
43