I have a board with SWD connecction, which works fine until I add a single line to the source
Chip_Clock_SetSystemPLLSource(SYSCTL_PLLCLKSRC_SYSOSC);
Now I'm not able to attach the GDB-Server ("CPU not connected") nor with my stand alone programming tool (J-Flash).
I tried it with different reset strategies and I can verify different signals on the reset line, but still the same, it's not possible to connect to the board.
Also, it's not a problem of a single board, I tried the same with two more boards with the same result.