path add $ORIGIN
mach create
i @fb.cs
i @spi-soc.cs
i @ticktimer-soc.cs
#i @kbd.cs
using sysbus
machine LoadPlatformDescription $ORIGIN/betrusted-soc.repl
sysbus ApplySVD $ORIGIN/Betrusted\ SoC.svd
sysbus LoadELF @betrusted-soc
showAnalyzer sysbus.fb
machine StartGdbServer 3333 true