target remote localhost:1234
file target/kernel/kernel.bin