file bin/kernel
target remote :1234
set architecture i8086
b *0x7c00
continue
x /2i $pc
# break kern_init
# continue