symbol-file ./mentos/kernel.bin
exec-file ./mentos/kernel.bin
target remote localhost:1234