set disassembly-flavor intel
symbol-file /vm/kernel.dbg
target remote localhost:1234