xous-platonic/boot.resc

18 lines
413 B
Plaintext

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
"""
# cpu PC 0x20500000
runMacro $reset