target remote localhost:1234
symbol-file kernel.elf