gdb-remote localhost:1234 target modules add zig-out/bin/kernel # target modules load -f zig-out/bin/kernel -s 0xFFFFFFF000200000 target modules load -f zig-out/bin/kernel -s 0x40080000 target modules load -f zig-out/bin/kernel -s 0xFFFFFF8040080000 # breakpoint set -H -a 0x80200000 # process continue # breakpoint set -H -n arch.riscv64.boot.rv64BspEntryLower # process continue