Not really a question, but it took me way to long to find out about J-Link RTT (i.e. j-link Real Time Terminal for easy debug printing so I thought I would mention it for future searchers on the subject.
If you have been using serial to get trace output on the dev boards and are looking for an option to get multiple channels of text output (and input!) with just a few .c files on your target device, you might want to check it out:
www.segger.com/jlink-real-time-terminal.html
Also really loving the Tag-Connect form factor for connecting my little target board to J-Link if you haven't checked it out.