using sysbus mach create machine LoadPlatformDescription @platonic.repl machine StartGdbServer 3333 showAnalyzer uart