Using MP135F-DK board.Setup the environment and rebuild kernel.After I use openocd and gdb success connect to linux system, try to debug linux kernel, then run some simple gdb command like "bt" or do nothing, then system get reset.I did not get much ...