set pagination off
target remote localhost:1234
symbol-file kernel/kernel.elf