set confirm off
symbol-file build/mango_kernel.dbg
target remote localhost:1234
set confirm on
