file kernel.image
#set remotedebug 1
set remotebaud 115200
#set remotebaud 9600
target remote /dev/ttyS1
