###
# Description: starts the OpenOCD GDB server (localhost:3333)
# once started use arm-elf-insight <program>.elf to start the debug session
init
reset init
halt