Andrew from XMOS suggested that I should use printstrln() and printhexln() for debugging.
Sadly, they don't work out of the box (
What would I need to #include or link to use these functions, and where does the output end up?
Any recommended documentation about these debug-print-functions?
Yours, Christian