target remote localhost:1234
symbol-file build/kernel/kernel.elf