by tonyw » Fri Mar 16, 2018 1:23 pm
No, DebugPrintF() waits on the "done" bit in the serial device register. It uses no interrupts and hangs the machine while it outputs the string of characters.
Forbid/Permit calls are unnecessary for DebugPrintF() to work and will have no effect on it.
cheers
tony