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