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