using sysbus
mach create
machine LoadPlatformDescription @platonic.repl
sysbus LoadELF @../kernel/target/riscv32i-unknown-none-elf/debug/xous-kernel

machine StartGdbServer 3333 true

showAnalyzer uart

# The macro `reset` gets called implicitly when running `machine Reset`
macro reset
"""
    sysbus LoadELF @../kernel/target/riscv32i-unknown-none-elf/debug/xous-kernel
"""

runMacro $reset
start